rebooted

typetitleauthorlast post sort icon
StoryLightweight Static Capabilities Paul Snively2021-12-02 13:45
Forum topicA Brief History of Scala Isaac Gouy2011-01-17 05:41
Forum topicTypes vs classes: what is the difference? caustic2010-03-18 19:39
Forum topicThe Next Mainstream Programming Languages Per Vognsen2010-01-24 13:32
Forum topicDoes anyone know of work done on co-data-types? David Minor2009-01-30 22:27
Forum topicApplied Type System vs. Epigram naasking2008-09-16 06:44
Forum topicLet's make a programming language! Achilleas Margaritis2008-09-12 09:21
Forum topicConfused Deputies in Programming Languages naasking2008-03-18 02:47
StoryPure, Declarative, and Constructive Arithmetic Relations Ehud Lamm2008-03-17 19:38
StoryThe Design and Implementation of Typed Scheme Ehud Lamm2008-02-08 03:56
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