LtU Forum

 TopicReplies sort iconCreatedLast reply
 REScala: integrate reactive values with advanced event system05 years 20 weeks ago
by raould
n/a
 Interesting use cases for universal quantifiers in rank 2?01 year 51 weeks ago
by Alex Shpilkin
n/a
 Lambda expressions in VB.NET011 years 44 weeks ago
by Michael Dorfman
n/a
 Introduction to the proof engine for static verification of software06 years 34 weeks ago
by hbrandl
n/a
 New Full-time Erlang Jobs in Chicago08 years 35 weeks ago
by enewhuis
n/a
 Good books on theoretical aspects of type theory when it applies to computer science and languages02 years 27 weeks ago
by Carter Cheng
n/a
 Scientific Method: Relationships among scientific paradigms011 years 12 weeks ago
by Scott Johnson
n/a
 ALTA 2008 - Call for Participation010 years 20 weeks ago
by jbfryman
n/a
 Functional Programs as Linked Data011 years 21 weeks ago
by Excalibor
n/a
 Microsoft and PLT010 years 51 weeks ago
by shahbaz
n/a
 FringeDC Formal Meeting March 22nd at 1PM- Haskell Spectacular: XMonad, Zippers and More!010 years 31 weeks ago
by drcode
n/a
 Call for Submissions, for the International Lisp Conference 200909 years 50 weeks ago
by Daniel Weinreb
n/a
 SLE 2014 - Call for Participation04 years 10 weeks ago
by craiganslow
n/a
 The single instruction compiler03 years 16 weeks ago
by marco
n/a
 Liquid Types010 years 17 weeks ago
by raould
n/a
 A Theory of Changes for Higher-Order Languages: Incrementalizing Lambda by Static Differentiation04 years 23 weeks ago
by Sean McDirmid
n/a
 Proofs and puddings -- or, how pure is the pure lambda calculus, pt 3011 years 40 weeks ago
by Lucius Gregory Meredith
n/a
 Code Generation 2009 - June 16 - 18. Cambridge, UK09 years 32 weeks ago
by Mark Dalgarno
n/a
 Biological computation (personal message, non PL-related)09 years 17 weeks ago
by Ehud Lamm
n/a
 Predicate calculus in program verification06 years 28 weeks ago
by hbrandl
n/a
 CleanJ - Concurrent Clean on Java VM012 years 4 weeks ago
by Isaac Gouy
n/a
 ''The Paradigms of Programming'' online011 years 38 weeks ago
by Boyko Bantchev
n/a
 Extended Deadline - ALTA 2008 CFP010 years 26 weeks ago
by jbfryman
n/a
 Inferring Types for Higher Order Instructions in Stack Languages011 years 27 weeks ago
by cdiggins
n/a
 PyPy's prolog-based JIT prototype010 years 15 weeks ago
by fijal
n/a
XML feed