LtU Forum

 TopicReplies sort iconCreatedLast reply
 Pretty Printers for Lightweight static Types012 years 47 weeks ago
by Rob Zinkov
n/a
 Computability Logic07 years 1 week ago
by naasking
n/a
 Owl: A parser generator for visibly pushdown languages.04 weeks 4 days ago
by helltone
n/a
 Parameterized modules in Erlang015 years 29 weeks ago
by Matt Hellige
n/a
 Method inlining as a macro system014 years 46 weeks ago
by skybrian
n/a
 Formalizing and extending C# type inference013 years 4 weeks ago
by Isaac Gouy
n/a
 [ANN] Final Call for Speakers for Code Generation 2009011 years 21 weeks ago
by Mark Dalgarno
n/a
 Predicates, ghost predicates and higher order predicates08 years 2 weeks ago
by hbrandl
n/a
 Jedi012 years 44 weeks ago
by lancewalton
n/a
 Pushing parallel Haskell to the real world010 years 3 weeks ago
by StevenJenkins
n/a
 Purely Functional Programming for Sensor Nets015 years 26 weeks ago
by Derek Elkins
n/a
 Call for Speakers: DSL DevCon011 years 19 weeks ago
by csells
n/a
 L. Röder's Intentional Programming Presentations015 years 36 weeks ago
by Manu Simoni
n/a
 Scala programming job in Odersky's lab in Lausanne, Switzerland011 years 39 weeks ago
by jlaw
n/a
 Jane Street Summer Project '09011 years 17 weeks ago
by yminsky
n/a
 The SPIN model checker and Promela014 years 15 weeks ago
by Todd Coram
n/a
 Reflection, Attributes and Parameterization011 years 30 weeks ago
by naasking
n/a
 Moony Parser 2.3 is out06 years 4 weeks ago
by Ivan V.
n/a
 Rewriting Haskell Strings013 years 38 weeks ago
by Per Vognsen
n/a
 more of the same09 years 7 weeks ago
by marchertas
n/a
 Dyna: a weighted dynamic logic programming language014 years 49 weeks ago
by marco
n/a
 More forum spam014 years 38 weeks ago
by Ehud Lamm
n/a
 Microsoft Phoenix Framework014 years 1 week ago
by Wolf Logan
n/a
 Erik Meijer and Bertrand Meyer - Objects, Contracts, Concurrency, Sleeping Barbers and Eiffel012 years 3 weeks ago
by David B. Wildgoose
n/a
 Non-deterministic versus parallel function application08 years 19 weeks ago
by jdgallag
n/a
XML feed