Home » user account

Derek Elkins

typetitleauthorlast post sort icon
Forum topicMonadic and Substructural Type Systems for Region-Based Memory Management naasking2007-12-05 17:38
StoryParametric datatype-genericity Ehud Lamm2007-12-05 03:39
Forum topicOn the Importance of Purity naasking2007-12-02 14:53
Forum topicDerivation trees for lambda-calculus ilSignorCarlo2007-11-28 22:03
Forum topicA survey and discussion of taming effects naasking2007-11-28 19:24
StoryA functional correspondence between evaluators and abstract machines Andris Birkmanis2007-11-28 01:02
StorySamurai - Protecting Critical Data in Unsafe Languages Ehud Lamm2007-11-27 16:54
StoryWitnessing Side-Effects neelk2007-11-25 07:58
StoryThe Haskell Programmer's Guide to the IO Monad --- Don't Panic Ehud Lamm2007-11-22 21:30
StoryGödel, Nagel, minds and machines Ehud Lamm2007-11-22 08:09
Forum topicPetition for adding garbage collection to C++. Achilleas Margaritis2007-11-20 16:24
StoryJoCaml Andris Birkmanis2007-11-19 15:49
Forum topicTransducer Composition and CPS Andris Birkmanis2007-11-09 12:49
Forum topichi about scheme programming language.... manolya2007-10-26 15:43
Forum topicComputing is a Natural Science Hank Thediek2007-10-15 20:49
StoryTim Bray and Erlang Ehud Lamm2007-10-09 21:30
Forum topicOn creating an ad hoc assembly interpreter to aid studying soapdog2007-09-22 00:33
Forum topicOnline video course on monads renaud2007-09-20 22:37
StoryRob Pike on Concurrency and Message passing in Newsqueak Ehud Lamm2007-09-17 17:08
Forum topicReconstructing Abstractions cdiggins2007-09-15 21:16
StoryNo Name: Just Notes on Software Reuse Ehud Lamm2007-09-05 13:45
Forum topicComprehensions with ‘Order by’ and ‘Group by’ Isaac Gouy2007-08-28 10:31
Forum topic Monad Description For Imperative Programmer kaveh.shahbazian2007-08-22 18:10
Forum topicMetaobject protocols: Why we want them and what else they can do Greg Buchholz2007-08-16 07:43
StoryBest LtU humour Ehud Lamm2007-08-01 18:54