Derek Elkins

typetitleauthorlast post sort icon
Forum topicBackground of call/cc thomash2009-09-15 21:03
Forum topicCategorical semantics for F_\omega Caylee Hogg2009-09-11 14:46
Forum topicTheoretical Foundations for Practical Totally Functional Programming, by Colin Kemp Colin Kemp2009-08-26 03:13
Forum topicReceiver knowing the sender? BigZaphod2009-08-25 21:27
StoryFunction Interface Models for Hardware Compilation Matt Hellige2009-08-22 21:39
Forum topicWorld’s first formal machine-checked proof of a general-purpose operating system kernel Derek Elkins2009-08-14 01:20
Forum topicDefinition of Functional Programming Language vag2009-08-07 22:39
Forum topicTotal functional language self interpreter? jason stumpf2009-06-27 13:57
Forum topicThe Meta-LtU Thread Leon P Smith2009-06-14 13:43
StoryRichard Feynman and the Connection Machine Luke Gorrie2009-06-08 11:11
Forum topicWhat do you believe about Programming Languages (that you can't prove (yet))? John Carter2009-05-23 23:23
StoryADD 50 TO COBOL GIVING COBOL James Iry2009-05-02 10:14
Forum topicWriting an interpreter, targeting a VM or writing from scratch? Johan Tibell2009-04-28 20:09
StoryBuilding a Modern Computer From First Principles Ehud Lamm2009-03-30 07:07
StoryACM Queue: A Conversation with Alan Kay Ehud Lamm2009-03-24 18:50
StoryLinear Logic and Permutation Stacks--The Forth Shall Be First Luke Gorrie2009-03-14 06:49
Forum topicUsing coalgebraic structures for traversing ADTs lazily marco2009-03-10 01:49
StoryDenotational design with type class morphisms Matt Hellige2009-02-25 20:28
Forum topicDeclarative layout and/or UI languages? naasking2009-02-18 10:05
StoryParameterized Notions of Computation neelk2009-02-17 19:38
StoryLtU: blog not forum! Ehud Lamm2009-02-14 14:11
Forum topicLooking for papers describing advanced language topics in terms of C programming derekp2009-02-12 06:39
Forum topicIntroducing Dawn - yet another new language Poul Krogh2009-02-06 09:07
Forum topicExplaining monads Ehud Lamm2009-01-30 11:43
Forum topicThe Origins of the BitC Programming Language Isaac Gouy2009-01-30 00:38