Home » user account

neelk

typetitleauthorlast post sort icon
StoryComputation Orchestration: A Basis for Wide-Area Computing neelk2008-09-11 17:15
StoryRelational Parametricity and Units of Measure neelk2008-09-10 20:11
StoryProgramming Language Beauty: Look Closure Erik Meijer2008-09-10 04:01
StoryUpgradeJ: Incremental Typechecking for Class Upgrades neelk2008-08-31 13:46
StoryNon-Deterministic Recursive Ascent Parsing neelk2008-08-08 14:04
Forum topicA Question Concerning Effect Types shap2008-08-06 15:01
StoryAlmost everything happened in the Golden Age, right? Peter Van Roy2008-07-28 19:24
StoryICFP contest starts tomorrow neelk2008-07-12 19:34
StoryFunctional Netlists neelk2008-07-10 10:40
StoryHardware Design and Functional Programming: a Perfect Match Luke Gorrie2008-07-09 17:39
Forum topicHigher-order type constructor polymorphism vs./and template style specialization scottmcl2008-06-18 17:06
Forum topicOn the importance of Turing completeness jdgallag2008-06-16 22:31
StoryLightweight Fusion by Fixed Point Promotion neelk2008-06-16 22:26
Forum topicwhat a type system always proves vs. what it can be made to prove bdenckla2008-06-10 17:56
Story Species: making analytic functors practical for functional programming neelk2008-05-30 04:45
StoryLinear Logical Algorithms neelk2008-05-21 13:33
StoryAutomatic Generation of Peephole Superoptimizers neelk2008-05-17 07:58
StoryLogical Algorithms neelk2008-05-15 22:53
StoryTheory and Practice of Constraint Handling Rules neelk2008-05-13 10:36
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