Home » user account

neelk

typetitleauthorlast post sort icon
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
StoryECMAScript Edition 4 and Backwards Compatibility Dave Herman2007-11-07 01:31
StoryNatural Deduction for Intuitionistic Non-Commutative Linear Logic neelk2007-11-05 17:08
StoryOnline Learning of Relaxed CCG Grammars for Parsing to Logical Form neelk2007-11-04 19:44
StoryPrivacy and Contextual Integrity: Framework and Applications neelk2007-10-18 01:15
StoryAn Overview of the Singularity Project Ehud Lamm2007-10-12 19:45
StoryDerivation and Evaluation of Concurrent Collectors neelk2007-10-05 16:51
StoryShape Analysis with Structural Invariant Checkers neelk2007-09-28 18:28
StoryBeyond Pretty-Printing: Galley Concepts in Document Formatting Combinators neelk2007-08-25 02:35
StoryStatus Report: HOT Pickles, and how to serve them neelk2007-08-23 06:14
StoryCompiling with Continuations, Continued neelk2007-08-22 22:03