Home » user account

neelk

typetitleauthorlast post sort icon
StoryTheory and Practice of Constraint Handling Rules neelk2008-05-12 17:23
StoryAutomatic Generation of Peephole Superoptimizers neelk2008-05-10 21:21
Story Species: making analytic functors practical for functional programming neelk2008-04-28 21:49
Forum topicCommon Lisp Exception Handling SamK2008-04-28 13:22
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 topic[Ask LTU] How to implement concurrent languages ? Ravi Mohan2008-03-13 15:41
StoryWhen Is A Functional Program Not A Functional Program? neelk2008-03-09 14:31
Forum topicStructural recursion on sets vc2008-03-01 02:49
Forum topicRecursive Algorithms that cannot be expresses with Tail-Recursion? M. Douglas2008-02-19 15:09
StoryPatrick Logan on Software Transaction Memory Ehud Lamm2008-02-16 23:53
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
StoryComputation Orchestration: A Basis for Wide-Area Computing neelk2008-01-07 20:18
Forum topicWhat is a "fully featured closure"? Request for comments. int19h2007-12-14 00:34
StoryWitnessing Side-Effects neelk2007-11-25 07:58
StoryThe Fortress Language Spec v0.618 Dave Herman2007-11-21 20:59
Forum topicPetition for adding garbage collection to C++. Achilleas Margaritis2007-11-20 16:24