Home » user account

neelk

typetitleauthorlast post sort icon
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
Forum topicOpinions on _Theoretical Introduction to Programming_? Wolf Logan2007-02-08 03:20
StoryProgramming Parallel Algorithms neelk2007-02-07 11:21
Forum topicbrainstorming dataflow language visualizations Max2007-02-05 19:51
StoryFirst Class Relationships in an Object-oriented Language neelk2007-02-05 08:17
StorySeparation Logic: A Logic for Shared Mutable Data Structures neelk2007-02-04 05:34
Forum topicPasquale Malacaria, "Assessing Security Threats of Looping Constructs" neelk2007-01-30 21:48
Forum topicIntellisense for dynamic languages tlareywi2007-01-20 18:00
StoryLocus Solum: From the rules of logic to the logic of rules Andris Birkmanis2007-01-20 06:18
Forum topicScheme interpreters written in Standard ML? Chris Rathman2007-01-17 04:34
StoryWhy numbering should start at 0 Luke Gorrie2007-01-10 17:16