LtU Forum

 TopicReplies sort iconCreatedLast reply
 iTasks: Defining Interactive Work Flows for the Web012 years 6 weeks ago
by Isaac Gouy
n/a
 Functional Programming jobs at Jane Street010 years 32 weeks ago
by yminsky
n/a
 Semanitcs in the real world?010 years 4 weeks ago
by Ehud Lamm
n/a
 Good books on theoretical aspects of type theory when it applies to computer science and languages03 years 19 weeks ago
by Carter Cheng
n/a
 Negation and proofs by contradiction with the proof engine07 years 25 weeks ago
by hbrandl
n/a
 how can PLT experts help improve the web?013 years 16 weeks ago
by shahbaz
n/a
 Proofs and puddings -- or, how pure is the pure lambda calculus, pt 3012 years 32 weeks ago
by Lucius Gregory Meredith
n/a
 JPred -- predicate dispatch for Java014 years 20 weeks ago
by meltsner
n/a
 Typesafe DSLs in Java011 years 21 weeks ago
by ekabanov
n/a
 SLE 2014 - Call for Participation05 years 2 weeks ago
by craiganslow
n/a
 The single instruction compiler04 years 9 weeks ago
by marco
n/a
 CleanJ - Concurrent Clean on Java VM012 years 49 weeks ago
by Isaac Gouy
n/a
 ''The Paradigms of Programming'' online012 years 30 weeks ago
by Boyko Bantchev
n/a
 A Theory of Changes for Higher-Order Languages: Incrementalizing Lambda by Static Differentiation05 years 16 weeks ago
by Sean McDirmid
n/a
 Inferring Types for Higher Order Instructions in Stack Languages012 years 19 weeks ago
by cdiggins
n/a
 Parsimony Principles for Software Components and Metalanguages011 years 38 weeks ago
by Bryan O Sullivan
n/a
 Lambda in the Sun - Southern California Functional Programmers011 years 9 weeks ago
by James Iry
n/a
 The Ioke JVM Language: The power of Lisp and Ruby with an intuitive syntax010 years 41 weeks ago
by synodinos
n/a
 Luke?014 years 6 weeks ago
by Ehud Lamm
n/a
 Lambda expressions in VB.NET012 years 36 weeks ago
by Michael Dorfman
n/a
 Registration for the 10th ICFP Programming Contest is open012 years 7 weeks ago
by Stefan Holdermans
n/a
 ML Modules in C#011 years 34 weeks ago
by naasking
n/a
 TinyML - Lexer, Parser, Interpreter, and Polymorphic Type Checker in Under 700 Lines of SML011 years 26 weeks ago
by frostytrees
n/a
 Non-deterministic versus parallel function application07 years 30 weeks ago
by jdgallag
n/a
 REScala: integrate reactive values with advanced event system06 years 12 weeks ago
by raould
n/a
XML feed