Home » user account

neelk

typetitleauthorlast post sort icon
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
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