Derek Elkins

typetitleauthorlast post sort icon
StoryGeneral Purpose Cellular Automata Programming Ehud Lamm2005-07-25 17:44
Forum topicDead Languages Jim Apple2005-07-11 11:14
Forum topicorganizing papers... Matt Hellige2005-07-07 15:32
StoryWhy Dependent Types Matter Ehud Lamm2005-07-05 08:34
StoryA Typed, Compositional Logic for a Stack-Based Abstract Machine Ehud Lamm2005-07-02 14:15
StoryHow To Read a Paper Ehud Lamm2005-06-27 11:09
StoryComputerworld Development Survey Ehud Lamm2005-06-17 06:49
Forum topicA question I have been meaning to ask. Hank Thediek2005-06-16 14:57
StoryGeneric Accumulations: Battery-powered Bananas Andris Birkmanis2005-05-04 18:38
Forum topicmechanics of designing and implementing a language shahbaz2005-05-02 09:36
Forum topicWhy Dependent Types Matter Daniel Yokomizo2005-04-24 09:20
StoryOn the Unusual Effectiveness of Logic in Computer Science Charles A Stewart2005-04-21 11:14
Forum topicAccording to Allen Holub programming is now a liberal art. When did this happen? ade_oshineye2005-04-16 22:46
Forum topicDenotational semantics of a DSL? Andris Birkmanis2005-04-15 19:14
Forum topicPremonoidal categories and notions of computation Andris Birkmanis2005-04-11 07:03
Forum topicFun: HaWiki Quotes Page Derek Elkins2005-03-31 01:41
Forum topicProper tail reflection? Andris Birkmanis2005-03-27 09:42
StoryPython: Generator methods Ehud Lamm2005-03-25 06:14
Forum topicEmbedding one language in another sudarshan2005-03-24 19:10
StoryUCPy: Reverse Engineering Python Dominic Fox2005-03-24 15:19
Forum topicHalting program density? Greg Buchholz2005-03-23 15:27
Forum topicJournals and papers? BigZaphod2005-03-22 17:56
Forum topicCall-by-what? Andris Birkmanis2005-02-21 08:28
Forum topicThe Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software ade_oshineye2005-02-15 21:26
Forum topicLangauges and Hardware... Matt Estes2005-02-15 17:11