typetitleauthorlast post sort icon
StoryHow to write your next POPL paper in Coq Ehud Lamm2008-01-13 18:01
Forum topicOn the Importance of Purity naasking2007-12-02 14:53
Forum topicPetition for adding garbage collection to C++. Achilleas Margaritis2007-11-20 16:24
Forum topicUniqueness Types Instead STM kaveh.shahbazian2007-10-12 22:59
StoryHOPL III and the History of Haskell Chris Rathman2007-05-28 07:16
Forum topicTotal Functional Programming Greg Buchholz2007-05-27 20:18
Forum topicHow to make the static represent the dynamic? raould2007-05-23 02:19
Forum topicQuestion on categorizing a language derekp2007-03-20 21:33
Forum topicEffects in Types cdiggins2007-02-22 11:17
Forum topicWhy Are ALL Programming Languages So Low Level? Vorlath2007-01-16 22:41
Forum topicProgramming Language Research Search Engine cdiggins2006-12-28 17:17
Forum topicTransparent Persistence playergiro2006-12-20 17:31
Forum topicAbstractly typed languages Matthew Willson2006-12-15 04:58
Forum topicunchecked exceptions are like runtime type checking? lumpynose2006-12-13 09:40
Forum topicExtremely static language? viergroupie2006-12-09 01:28
StoryFuture of software design? Peter Van Roy2006-11-21 20:18
StoryRuby 2.0 News Ehud Lamm2006-11-04 20:32
Forum topicDesigning a Programming Textbook cdiggins2006-10-02 19:26
StoryVisual Basic and LINQ Erik Meijer2006-09-26 11:35
Forum topicConcurrency made easy? drwhite2006-09-18 23:14
StoryGradual Typing for Functional Languages Paul Snively2006-09-04 13:48
Forum topicImplementing arrays dataangel2006-09-02 09:52
Forum topicOverloading : Why do some languages leave it out? cdiggins2006-08-08 21:28
StoryThe right default: concurrent components with message passing Peter Van Roy2006-07-22 16:37
Forum topicFirst Class Values, Types as values within a Programming Language Bruce Rennie2006-07-20 00:50