neelk

typetitleauthorlast post sort icon
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
Forum topicRight on! Ehud Lamm2009-06-27 03:44
Forum topicPreventing downcasting and adding a universal variant cdiggins2009-06-16 22:17
Forum topicThe Meta-LtU Thread Leon P Smith2009-06-14 13:43
StoryTranslation of Tree-processing Programs into Stream-processing Programs based on Ordered Linear Types neelk2009-06-02 14:26
StoryForth Dimensions Luke Gorrie2009-05-28 19:58
StoryTypes are Calling Conventions James Iry2009-05-20 01:01
StoryJoshua Bloch: "Nearly All Binary Searches Broken" Ehud Lamm2009-05-15 15:20
Forum topicStatic typing may require runtime type checking? sidhu2009-05-06 15:18
StoryGeneric Discrimination: Sorting and Partitioning Unshared Data in Linear Time neelk2009-05-04 19:29
Forum topicAlgebra Of Programming (Bird, De Moor) shahbaz2009-04-27 20:22
Forum topicLanguages ready for API Evolution Jaroslav Tulach2009-04-22 05:55
StoryPLOT: Programming Language for Old Timers Luke Gorrie2009-04-09 15:40
StoryD is for Domain and Declarative Chung-chieh Shan2009-03-25 16:51
Forum topicTiered approaches to higher order programming? John Nowak2009-03-22 19:38
Forum topicRelational database implementation paper ? Archiloque2009-03-20 17:30
StoryA Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking neelk2009-03-06 16:33
StoryParameterized Notions of Computation neelk2009-02-17 19:38
Forum topicMicrosoft PDC "Language" Talks shahbaz2009-02-12 12:16
Forum topicWhat is the dual of { } ? Kay Schluehr2009-02-12 08:58
Forum topicGraduate Programs in Programming Language Design/Research/Implementation? shubhamharnal2009-01-30 18:05