Home » user account

neelk

typetitleauthorlast post sort icon
Forum topicHigher-order type constructor polymorphism vs./and template style specialization scottmcl2008-06-18 17:06
Forum topicOn the importance of Turing completeness jdgallag2008-06-16 22:31
StoryLightweight Fusion by Fixed Point Promotion neelk2008-06-16 22:26
Forum topicwhat a type system always proves vs. what it can be made to prove bdenckla2008-06-10 17:56
Story Species: making analytic functors practical for functional programming neelk2008-05-30 04:45
StoryLinear Logical Algorithms neelk2008-05-21 13:33
StoryAutomatic Generation of Peephole Superoptimizers neelk2008-05-17 07:58
StoryLogical Algorithms neelk2008-05-15 22:53
StoryTheory and Practice of Constraint Handling Rules neelk2008-05-13 10:36
Forum topicUn-filter (or merge) lists Denis Bredelet -jido2008-04-22 18:37
StoryRegister Allocation by Proof Transformation neelk2008-04-20 21:52
StoryApril 1st special: The War of the Worlds Ehud Lamm2008-04-06 15:50
Forum topicAlgebraist Network billpage2008-03-31 12:21
StoryEriskay: a Programming Language Based on Game Semantics neelk2008-03-26 16:54
StorySIGPLAN Workshop on Undergraduate Programming Language Curriculum neelk2008-03-24 04:22
StoryFoundations for Structured Programming with GADTs neelk2008-03-17 21:26
Forum topicStructural recursion on sets vc2008-03-01 02:49
Forum topicRecursive Algorithms that cannot be expresses with Tail-Recursion? Anon Adderlan2008-02-19 15:09
StoryRelating Complexity and Precision in Control Flow Analysis neelk2008-02-03 16:41
StoryA Model for Formal Parametric Polymorphism: A PER Interpretation for System R neelk2008-01-28 20:50
StoryRecycling Continuations neelk2008-01-25 23:03
StoryCall-by-value Termination in the Untyped Lambda-calculus Daniel Yokomizo2008-01-08 23:22
StoryWitnessing Side-Effects neelk2007-11-25 07:58
Forum topicPetition for adding garbage collection to C++. Achilleas Margaritis2007-11-20 16:24
StoryNEXCEL, a Deductive Spreadsheet neelk2007-11-10 17:12