Home » user account

neelk

typetitleauthorlast post sort icon
StoryThe PLT Scheme weblog neelk2007-06-15 10:56
StoryThe Structure and Value of Modularity in Software Design neelk2007-06-06 00:25
StoryType-sensitive control-flow analysis neelk2007-06-01 06:44
Forum topicTotal Functional Programming Greg Buchholz2007-05-27 20:18
StoryLisp is sin Ehud Lamm2007-05-19 19:51
StoryPickler Combinators neelk2007-05-12 18:24
StoryGenerics as a Library Matt Hellige2007-05-09 00:11
StoryTowards efficient, typed LR parsers neelk2007-05-07 11:09
Forum topicType inference and union types Thomas_C2007-04-29 19:36
StoryA Logic for Parametric Polymorphism neelk2007-04-13 22:27
StoryRZ: a tool for bringing constructive and computable mathematics closer to programming practice neelk2007-04-11 15:29
StoryPutting functional database theory into practice: NixOS neelk2007-04-06 01:43
StoryTowards a Mechanized Metatheory of Standard ML neelk2007-04-04 18:22
StoryThe New Twelf Wiki neelk2007-03-23 00:49
StoryAn Intensional Type Theory: Motivation and Cut-Elimination neelk2007-03-19 11:13
StoryScalable Statistical Bug Isolation neelk2007-03-13 17:05
StoryExpressing Heap-shape Contracts in Linear Logic neelk2007-03-12 16:10
StoryStatic Typing for a Faulty Lambda Calculus neelk2007-03-09 20:16
StoryPropositions as [Types] neelk2007-03-06 17:34
StoryThe Design and Implementation of a Dataflow Language for Scriptable Debugging neelk2007-03-02 10:28
StoryLowering: A Static Optimization Technique for Transparent Functional Reactivity neelk2007-02-22 18:41
Forum topicSeeking suggestions on how to unify the environment, free variables, and current activation record for closures tomlu2007-02-14 02:13
StoryThe Missing Link - Dynamic Components for ML neelk2007-02-10 19:32
StoryState of the Union: Type Inference via Craig Interpolation Jim Apple2007-02-10 00:41
StoryTermination Checking with Types neelk2007-02-09 20:53