LtU Forum

 TopicReplies sort iconCreatedLast reply
 Scientific Method: Relationships among scientific paradigms010 years 21 weeks ago
by Scott Johnson
n/a
 Lambda, The Ultimate TA, Benjamin C. Pierce, ICFP 200907 years 28 weeks ago
by Marlene Miller
n/a
 The most obsolete infrastructure money could buy - my worst job ever02 years 15 weeks ago
by Manuel J. Simoni
n/a
 PyPy's prolog-based JIT prototype09 years 24 weeks ago
by fijal
n/a
 Algebraic Semiotics013 years 6 days ago
by Andris Birkmanis
n/a
 Categories for Software Engineering - recommend?012 years 12 weeks ago
by Isaac Gouy
n/a
 [ANN] Call for Speakers - Code Generation 200909 years 7 weeks ago
by Mark Dalgarno
n/a
 FringeDC Formal Meeting 1PM Saturday Sept 22nd010 years 13 weeks ago
by drcode
n/a
 Lambda expressions in VB.NET011 years 1 week ago
by Michael Dorfman
n/a
 PECAN: Persuasive Prediction of Concurrency Access Anomalies01 year 46 weeks ago
by raould
n/a
 Erik Meijer and Bertrand Meyer - Objects, Contracts, Concurrency, Sleeping Barbers and Eiffel09 years 31 weeks ago
by David B. Wildgoose
n/a
 set-based 3-tier Client Server programming011 years 19 weeks ago
by ashishkh
n/a
 SPLASH 2015 - Call for Student Volunteers02 years 20 weeks ago
by craiganslow
n/a
 Proofs and puddings -- or, how pure is the pure lambda calculus, pt 3010 years 49 weeks ago
by Lucius Gregory Meredith
n/a
 Inheritance and formal verification of software05 years 33 weeks ago
by hbrandl
n/a
 BNFT (Backus Naur Form Transformation) tool released08 years 13 weeks ago
by Poul Krogh
n/a
 The theory behind the Terms language03 years 37 weeks ago
by Enrique Perez Arnaud
n/a
 monadic constraint programming?011 years 37 weeks ago
by L G Meredith
n/a
 Nested data parallelism in Haskell (video)010 years 29 weeks ago
by magnus
n/a
 Policy as Types03 years 32 weeks ago
by mikestay
n/a
 Asynchronous Middleware and Services012 years 49 weeks ago
by Ehud Lamm
n/a
 Lambda the Ultimate Macro011 years 46 weeks ago
by xyzzy
n/a
 The Ioke JVM Language: The power of Lisp and Ruby with an intuitive syntax09 years 5 weeks ago
by synodinos
n/a
 Google Tech Talk on the CMU Natural Programming Project010 years 10 weeks ago
by Rafael
n/a
 Domain Specific Languages hierarchy discussion013 years 14 weeks ago
by Vitaly Lugovsky
n/a
XML feed