Derek Elkins

typetitleauthorlast post sort icon
StoryMore Haskell in Java 7 or 8? Ehud Lamm2007-01-06 16:45
Forum topicQuestion about closures and higher-order functions A B Carter2007-01-02 22:12
StoryAgentSheets: End-User Programing (and Secret Lisp Success Story!) Brent Fulgham2006-12-31 23:19
StoryThe Future of LtU Ehud Lamm2006-12-26 02:37
Forum topicTransparent Persistence playergiro2006-12-20 17:31
Forum topicUnderstanding continuations Keith Devens2006-12-06 23:43
StoryOOPSLA 2005: Io, a small programming language Ehud Lamm2006-11-21 23:09
Forum topicTradeoffs between Unique Types and Monads mjstahl2006-10-13 12:47
StoryA type-correct, stack-safe, provably correct, expression compiler in Epigram Niels Hoogeveen2006-10-02 18:13
Forum topicAdvantages of Soft Typing Curtis W2006-08-29 22:21
Forum topicCan a dynamically typed language support type inference? raganwald2006-08-19 09:51
Forum topicautomatic theorem proving Curtis W2006-08-09 14:01
Forum topicOverloading : Why do some languages leave it out? cdiggins2006-08-08 21:28
StorySoftware Extension and Integration with Type Classes Matt Hellige2006-08-08 08:51
Forum topicOOP Parallel class hierarchies dataangel2006-07-18 19:50
Forum topicHow do Java generics correspond to System F-(omega)? Chung-chieh Shan2006-07-12 22:39
StoryAbstracting Allocation: The New new Thing Ehud Lamm2006-07-12 20:28
Forum topicDSLs and operator associativity/precedence dataangel2006-07-11 05:20
Forum topicWhat are the real benefits of FP? dataangel2006-07-09 20:03
StoryLtU: Policies document Ehud Lamm2006-07-03 19:27
Forum topicRules for Developing Safety-Critical Code Peter J. Wasilko2006-06-25 21:26
Forum topicWhy only 'minimal' languages Karsten Wagner2006-06-19 15:33
Forum topicRelevance of Curry-Howard Klaus Ostermann2006-06-12 13:36
Forum topicemulation for Erlang style processes Rys McCusker2006-06-11 03:01
StoryPublic resources for ECMAScript Edition 4 Dave Herman2006-06-09 08:35