Home » user account

neelk

typetitleauthorlast post sort icon
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
StoryTaming the IXP network processor neelk2007-08-21 12:24
StoryMetaprogramming with Traits neelk2007-08-21 10:01
StoryUser-level transactional programming in Haskell neelk2007-08-19 15:07
Forum topicFormal methods for O/R mapping Andris Birkmanis2007-08-19 00:29
StoryAnalyzing the Environment Structure ofHigher-Order Languages using Frame Strings neelk2007-08-17 22:37
StoryValidity Invariants and Effects neelk2007-08-15 21:48
StoryGenerational Real-time Garbage Collection neelk2007-08-15 19:53
StoryMorphing: Safely Shaping a Class in the Image of Others neelk2007-08-15 19:25
StoryRelationally-Parametric Polymorphic Contracts neelk2007-08-10 15:34
StoryResources, Concurrency and Local Reasoning neelk2007-08-10 08:32