dmbarbour

typetitleauthor sort iconlast post
Forum topicStatic typing may require runtime type checking? sidhu2009-05-06 15:18
Forum topicYAPL - yet another programming language arnaud_d2009-05-05 16:08
Forum topicLooking for list of programming problems to thoroughly test a language derekp2009-05-04 18:46
Forum topicAndrej Bauer on PLD Charles Stewart2009-04-27 07:54
Forum topicHow to ensure safety when millions of users inject scripts into a running system? shahbaz2009-04-20 11:05
Forum topicmultidimensional abstraction? raould2009-04-18 06:43
StoryJonathon Shapiro Wraps Up BitC James Iry2009-04-12 12:18
Forum topicSeeking succnict thoughts on pros/cons of hl language styles raould2009-04-01 17:35
Forum topicInfluence of cognitive models on programming language design Srikumar Subramanian2009-03-26 21:04
Forum topicTiered approaches to higher order programming? John Nowak2009-03-22 19:38
StoryLanguages and security: a short reading list James Iry2009-03-22 17:02
StoryC++ Futures Chris Rathman2009-03-19 15:25
Forum topicUsing coalgebraic structures for traversing ADTs lazily marco2009-03-10 01:49
Forum topicDao, the official 1.0 version is released Limin Fu2009-03-08 18:32
StoryProcess calculi for transactions Charles Stewart2009-03-06 09:15
Forum topicFirst-Class Patterns naasking2009-02-23 11:07
StoryParameterized Notions of Computation neelk2009-02-17 19:38
Forum topicWhat is the dual of { } ? Kay Schluehr2009-02-12 08:58
Forum topicOn the (Im)possibility of Obfuscating Programs Jason Dusek2009-02-11 04:08
StoryPL Grand Challenges Ehud Lamm2009-02-10 16:09
Forum topicHow best to add a record type to my typed Scheme variant? Sam Rushing2009-02-06 21:00
Forum topicIntroducing Dawn - yet another new language Poul Krogh2009-02-06 09:07
Forum topicTagged Arithmetic Optimization naasking2009-02-04 22:32
Forum topicRuling out nonsensical data type definitions Douglas McClean2009-02-03 22:54
Forum topicI'm from china and I'm working on a new programming language "Zero" guy_from_china2009-01-31 08:31