type sort icontitleauthorlast post
Forum topicConstraint typing, subtyping, and separate compilation Sean McDirmid2015-03-12 22:35
Forum topicgeneral patterns in PL persistence schemes? Rys McCusker2015-02-24 02:23
Forum topicMaking implicits less powerful? Vladimir Slepnev2015-02-20 16:07
Forum topicHow can be a interpreter faster than C (aka: kdb+) mamcx2014-12-31 14:26
Forum topicSML# targets LLVM raould2014-12-26 21:05
Forum topicWhy do we need modules at all? Sean McDirmid2014-12-06 15:20
Forum topicImplementing fast interpreters vieiro2014-12-04 10:31
Forum topicOpposing Hierarchies of Complexity Keean Schupke2014-11-05 22:20
Forum topicOn constness Talin2014-10-13 20:58
Forum topicExperiment Ehud Lamm2014-10-01 17:10
Forum topicdoing letrec with lambdas jimdesu2014-09-29 19:46
Forum topicPatent on "safe" transitive immutability for object types — prior art? Blaisorblade2014-09-11 18:18
StoryStudy finds that when no financial interests are involved programmers choose DECENT languages Ehud Lamm2014-04-15 05:59
Forum topicBrendan Eich, CEO of mozilla Sean McDirmid2014-04-13 18:55
StoryWhat Are The Resolved Debates in General Purpose Language Design? James Iry2014-03-31 20:55
Forum topic"null" is to tagged unions as ???? is to records Kannan Goundan2014-03-22 20:06
Forum topicDifferent approaches to letting a programmer define interface implementations. Kannan Goundan2014-01-15 04:00
Forum topicInterfaces vs. Type Classes shap2014-01-06 00:40
Forum topicxkcd: Functional Sean McDirmid2013-11-05 20:23
Forum topicQuote Safe unquote JVM language? markt2013-07-30 09:43
Forum topicmobile web apps are slow -- and GC is to blame Christian Lindig2013-07-18 22:05
Forum topicCost of provably-correct code Ehud Lamm2013-07-06 19:56
Forum topicA New Kind of Type System Sean McDirmid2013-07-03 18:06
Forum topic"Relational Model Outgrown" CACM May 2013 Hewitt2013-05-10 01:56
Forum topicSeeking thoughtful criticisms of functional programming and languages scottmcl2013-03-31 00:40