LtU Forum

 TopicReplies sort iconCreatedLast reply
 SISC 1.9.4 Released013 years 19 hours ago
by Scott G. Miller
n/a
 CEPTR presentation @ MIT KIT02 years 27 weeks ago
by raould
n/a
 Seeking contributors to psyche-c01 year 1 week ago
by pronesto
n/a
 Proofs and puddings -- or, how pure is the pure lambda calculus, pt 3010 years 45 weeks ago
by Lucius Gregory Meredith
n/a
 Inheritance and formal verification of software05 years 30 weeks ago
by hbrandl
n/a
 BNFT (Backus Naur Form Transformation) tool released08 years 10 weeks ago
by Poul Krogh
n/a
 GoF get SIGPLAN award012 years 16 weeks ago
by Jim Apple
n/a
 Diesel a successor to the Cecil language011 years 36 weeks ago
by snk_kid
n/a
 The most obsolete infrastructure money could buy - my worst job ever02 years 11 weeks ago
by Manuel J. Simoni
n/a
 The verified insertion sort algorithm05 years 20 weeks ago
by hbrandl
n/a
 Waste your CPU-resources on programming challenge012 years 3 weeks ago
by mattias waldau
n/a
 LLVM 1.3 is released013 years 14 weeks ago
by Chris Lattner
n/a
 Free video lectures presented by Kay, Lampson, Ingalls, ...013 years 8 weeks ago
by ecavazos
n/a
 DiaGen and DiaPlan012 years 18 weeks ago
by Serguey Zefirov
n/a
 ICFP accepted papers03 years 23 weeks ago
by Sean McDirmid
n/a
 Tom: Piggybacking rewriting on java010 years 25 weeks ago
by polux
n/a
 CFP: International Conference on Live Coding 03 years 3 days ago
by yaxu
n/a
 Predicates, ghost predicates and higher order predicates05 years 26 weeks ago
by hbrandl
n/a
 lua book available online.013 years 18 weeks ago
by Alexandre Richer
n/a
 Microsoft Phoenix Framework011 years 25 weeks ago
by Wolf Logan
n/a
 Looking for experienced help09 years 44 weeks ago
by Arbiter
n/a
 3APL011 years 13 weeks ago
by Hank Thediek
n/a
 Depth-first search in APL03 years 17 weeks ago
by ngn
n/a
 Dynamic Language Embedding with Homogeneous Tool Support06 years 16 weeks ago
by Cyril
n/a
 The theory behind the Terms language03 years 33 weeks ago
by Enrique Perez Arnaud
n/a
XML feed