Home » user account

neelk

typetitleauthorlast post sort icon
StoryReminder: OOPSLA is now SPLASH neelk2010-02-22 23:35
StoryContinuity Analysis of Programs neelk2010-02-09 04:12
StoryResolving and Exploiting the k-CFA Paradox neelk2010-02-08 17:24
Forum topicExtreme non-choosiness L Spice2010-02-04 22:23
Forum topicQuantum Lambda Calculus Wolf Logan2010-01-24 22:41
StorySemantic types: a fresh look at the ideal model for types neelk2009-12-26 11:54
StoryAn Innocent Model of Linear Logic Anton van Straaten2009-12-19 09:26
Forum topicNaive Question? Definition of "Higher Order" scottmcl2009-12-16 11:56
Forum topicImplementation of Cardelli and Daan Leijen Style Record Systems? scottmcl2009-12-14 21:20
StoryDifferentiating Parsers Manuel J. Simoni2009-12-09 23:48
StoryCausal Commutative Arrows and Their Optimization neelk2009-11-05 02:42
StoryPatrick Logan on Software Transaction Memory Ehud Lamm2009-10-26 21:48
Forum topicLanguages and systems for edge-computing? lmeyerov2009-10-25 11:14
StoryA Type-theoretic Foundation for Programming with Higher-order Abstract Syntax and First-class Substitutions cdiggins2009-10-23 11:46
StoryThe End of the GPU Roadmap Noel2009-10-23 10:03
Forum topicStandard, simple subset of Scheme for experimentation? dpmulligan2009-10-15 12:18
Forum topicAlgorithms for inferring most specific types? billtohara2009-10-14 06:41
Forum topicHaskell in the real world: writing a commercial program in Haskell dpmulligan2009-10-10 01:00
StoryPeter Landin neelk2009-09-25 08:11
Forum topicNoop: Google Language for the JVM Dave Lopez2009-09-24 17:46
Forum topicDefinition of Functional Programming Language vag2009-08-07 22:39
StoryA Functional I/O System (or Fun for Freshman Kids) neelk2009-08-04 03:55
Forum topic(Very) Simpleminded kind question jimdesu2009-07-26 14:11
Forum topicMost powerful terminating semantics? dataangel2009-07-15 16:49
Forum topicSemantics: Logic vs. PL Ohad Kammar2009-06-27 14:17