Home » user account

neelk

typetitleauthorlast post sort icon
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
StoryGuaranteed Optimization neelk2007-08-09 23:24
StoryCloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams neelk2007-08-09 13:48
StoryRealization of natural language interfaces using lazy functional programming neelk2007-08-06 09:43
StoryLambda: The Semantics Tool Ehud Lamm2007-08-01 03:29
StoryICFP contest in progress! neelk2007-07-22 20:20
StoryHaskell web store Anton van Straaten2007-07-09 18:58
Forum topicQuestion regarding relationship of propositional logic to category theory Nathan Sobo2007-07-06 22:24
Forum topicStanding on each others' feet Barak A. Pearlmutter2007-07-02 23:41
Forum topicThe feasability of Haskell in Scheme cjh2007-06-30 02:01
Forum topicPLs and large scale development bieberbrueder2007-06-27 22:09