Derek Elkins

typetitle sort iconauthorlast post
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
StoryThe Church Project Andris Birkmanis2005-02-09 11:25
StoryA Type System Equivalent to Flow Analysis Andris Birkmanis2005-02-08 18:22
Forum topicA question for the theory guys Klaus Ostermann2005-02-06 16:15
Forum topicAvoiding worst case GC with large amounts of data? James Hague2005-02-04 17:45
StoryRegion Streams: Functional Macroprogramming for Sensor Networks Ehud Lamm2005-02-04 03:36
Forum topicSpeech-to-text friendly programming languages Jefferson Heard2005-01-15 15:55
Forum topicLinking comments Derek Elkins2005-01-06 11:03
Forum topicPurely Functional Programming for Sensor Nets Derek Elkins2004-12-04 06:04