LtU Forum

 Topic sort iconRepliesCreatedLast reply
 "Inconsistency Robustness" now available62 years 10 weeks ago
by Hewitt
2 years 9 weeks ago
by Hewitt
 "Language Oriented Programming" Meta Programming System2011 years 8 weeks ago
by raould
11 years 5 weeks ago
by nat
 "Limits to implicit parallelism in functional application"610 years 42 weeks ago
by John DeTreville
10 years 42 weeks ago
by Serguey Zefirov
 "null" is to tagged unions as ???? is to records103 years 31 weeks ago
by Kannan Goundan
3 years 30 weeks ago
by Jules Jacobs
 "Partially evaluating" fexprs?36 years 7 weeks ago
by Manuel J. Simoni
6 years 6 weeks ago
by John Shutt
 "Popular vs. Good" in Programming Languages8612 years 39 weeks ago
by Kevin Greer
12 years 38 weeks ago
by Luke Gorrie
 "Practical" advantages of lazy evaluation 10010 years 21 weeks ago
by chinu
9 years 32 weeks ago
by Peter Van Roy
 "Prep" in programming languages1452 years 13 weeks ago
by Hewitt
2 years 12 weeks ago
by Ross Angle
 "Relational Model Outgrown" CACM May 2013834 years 25 weeks ago
by Hewitt
4 years 23 weeks ago
by Douglas McClean
 "Semi-complete" Boolean Evaluation?2111 years 30 weeks ago
by Riaan Moll
11 years 29 weeks ago
by Nuno Cruces
 "Simple Made Easy" by Rich Hickey and subsequent discussion55 years 51 weeks ago
by shahbaz
2 years 16 weeks ago
by johnwcowan
 "Stretch" languages011 years 28 weeks ago
by Isaac Gouy
n/a
 "The Anatomy of a Loop"7212 years 3 weeks ago
by el-vadimo
12 years 2 weeks ago
by Allan McInnes
 "typed" files OR xml OR meta information for delim. files.612 years 16 weeks ago
by shahbaz
12 years 15 weeks ago
by kenhirsch
 "Very linear" lambda calculus19 years 5 weeks ago
by mikestay
9 years 5 weeks ago
by neelk
 "We Really Don't Know How to Compute!" by Gerald Sussman1785 years 51 weeks ago
by puredanger
5 years 48 weeks ago
by Sean McDirmid
 ''The Paradigms of Programming'' online010 years 39 weeks ago
by Boyko Bantchev
n/a
 'FeML: a skeleton of a femto-ML with nothing but polymorphic variants and functions35 years 18 weeks ago
by spdegabrielle
5 years 17 weeks ago
by tonyg
 'Mindless coding': following proof steps makes algorithms easy53 years 14 weeks ago
by raould
3 years 14 weeks ago
by Sean McDirmid
 (Alice ML + monads - value cells) > Haskell?110 years 10 weeks ago
by Manuel J. Simoni
10 years 9 weeks ago
by Andreas Rossberg
 (Even more) theorems for free?2010 years 44 weeks ago
by Andris Birkmanis
10 years 42 weeks ago
by sigfpe
 (from 2004) Possibly faster Haskell012 years 1 week ago
by raould
n/a
 (newbie question) Covariance and contravariance79 years 41 weeks ago
by chihiro
9 years 40 weeks ago
by James Iry
 (noob question) method parameters in co-and-contravariance issue49 years 38 weeks ago
by chihiro
9 years 38 weeks ago
by James Iry
 (Very) Simpleminded kind question98 years 13 weeks ago
by jimdesu
8 years 12 weeks ago
by Adam Chlipala
XML feed