LtU Forum

 Topic sort iconRepliesCreatedLast reply
 "Inconsistency Robustness" now available63 years 5 days ago
by Hewitt
2 years 51 weeks ago
by Hewitt
 "Language Oriented Programming" Meta Programming System2011 years 51 weeks ago
by raould
11 years 47 weeks ago
by nat
 "Limits to implicit parallelism in functional application"611 years 32 weeks ago
by John DeTreville
11 years 32 weeks ago
by Serguey Zefirov
 "null" is to tagged unions as ???? is to records104 years 21 weeks ago
by Kannan Goundan
4 years 20 weeks ago
by Jules Jacobs
 "Partially evaluating" fexprs?36 years 49 weeks ago
by Manuel J. Simoni
6 years 49 weeks ago
by John Shutt
 "Popular vs. Good" in Programming Languages8613 years 29 weeks ago
by Kevin Greer
13 years 28 weeks ago
by Luke Gorrie
 "Practical" advantages of lazy evaluation 10011 years 11 weeks ago
by chinu
10 years 22 weeks ago
by Peter Van Roy
 "Prep" in programming languages1453 years 3 weeks ago
by Hewitt
3 years 3 weeks ago
by Ross Angle
 "Relational Model Outgrown" CACM May 2013835 years 16 weeks ago
by Hewitt
5 years 13 weeks ago
by Douglas McClean
 "Semi-complete" Boolean Evaluation?2112 years 20 weeks ago
by Riaan Moll
12 years 20 weeks ago
by Nuno Cruces
 "Simple Made Easy" by Rich Hickey and subsequent discussion56 years 42 weeks ago
by shahbaz
3 years 6 weeks ago
by johnwcowan
 "Stretch" languages012 years 19 weeks ago
by Isaac Gouy
n/a
 "The Anatomy of a Loop"7212 years 45 weeks ago
by el-vadimo
12 years 44 weeks ago
by Allan McInnes
 "typed" files OR xml OR meta information for delim. files.613 years 6 weeks ago
by shahbaz
13 years 5 weeks ago
by kenhirsch
 "Very linear" lambda calculus19 years 47 weeks ago
by mikestay
9 years 47 weeks ago
by neelk
 "We Really Don't Know How to Compute!" by Gerald Sussman1786 years 41 weeks ago
by puredanger
6 years 38 weeks ago
by Sean McDirmid
 ''The Paradigms of Programming'' online011 years 29 weeks ago
by Boyko Bantchev
n/a
 'FeML: a skeleton of a femto-ML with nothing but polymorphic variants and functions36 years 8 weeks ago
by spdegabrielle
6 years 7 weeks ago
by tonyg
 'Mindless coding': following proof steps makes algorithms easy54 years 4 weeks ago
by raould
4 years 4 weeks ago
by Sean McDirmid
 (Alice ML + monads - value cells) > Haskell?111 years 1 day ago
by Manuel J. Simoni
11 years 12 hours ago
by Andreas Rossberg
 (Even more) theorems for free?2011 years 34 weeks ago
by Andris Birkmanis
11 years 32 weeks ago
by sigfpe
 (from 2004) Possibly faster Haskell012 years 43 weeks ago
by raould
n/a
 (newbie question) Covariance and contravariance710 years 31 weeks ago
by chihiro
10 years 30 weeks ago
by James Iry
 (noob question) method parameters in co-and-contravariance issue410 years 28 weeks ago
by chihiro
10 years 28 weeks ago
by James Iry
 (Very) Simpleminded kind question99 years 3 weeks ago
by jimdesu
9 years 3 weeks ago
by Adam Chlipala
XML feed