LtU Forum

 TopicReplies sort iconCreatedLast reply
 Scala programming job in Odersky's lab in Lausanne, Switzerland010 years 19 weeks ago
by jlaw
n/a
 Jane Street Summer Project '0909 years 50 weeks ago
by yminsky
n/a
 SLE 2014 - Call for Participation04 years 23 weeks ago
by craiganslow
n/a
 The single instruction compiler03 years 30 weeks ago
by marco
n/a
 The SPIN model checker and Promela012 years 48 weeks ago
by Todd Coram
n/a
 Reflection, Attributes and Parameterization010 years 10 weeks ago
by naasking
n/a
 A Theory of Changes for Higher-Order Languages: Incrementalizing Lambda by Static Differentiation04 years 36 weeks ago
by Sean McDirmid
n/a
 Rewriting Haskell Strings012 years 18 weeks ago
by Per Vognsen
n/a
 Parrot 1.0.0 is out09 years 43 weeks ago
by vieiro
n/a
 Dyna: a weighted dynamic logic programming language013 years 29 weeks ago
by marco
n/a
 Implementation of reducers and other Cilk++ hyperobjects: Peeking Under the Hood09 years 30 weeks ago
by Ilya Mirman
n/a
 Pretty Printers for Lightweight static Types011 years 27 weeks ago
by Rob Zinkov
n/a
 Non-deterministic versus parallel function application06 years 51 weeks ago
by jdgallag
n/a
 REScala: integrate reactive values with advanced event system05 years 33 weeks ago
by raould
n/a
 Interesting use cases for universal quantifiers in rank 2?02 years 12 weeks ago
by Alex Shpilkin
n/a
 Parameterized modules in Erlang014 years 9 weeks ago
by Matt Hellige
n/a
 Method inlining as a macro system013 years 26 weeks ago
by skybrian
n/a
 Formalizing and extending C# type inference011 years 36 weeks ago
by Isaac Gouy
n/a
 [ANN] Final Call for Speakers for Code Generation 2009010 years 1 week ago
by Mark Dalgarno
n/a
 Question on top-level (and other) environments09 years 25 weeks ago
by Manuel J. Simoni
n/a
 Good books on theoretical aspects of type theory when it applies to computer science and languages02 years 40 weeks ago
by Carter Cheng
n/a
 Jedi011 years 24 weeks ago
by lancewalton
n/a
 COMPOSITA - another ETH language09 years 36 weeks ago
by Isaac Gouy
n/a
 Chicago Functional Programmers08 years 34 weeks ago
by enewhuis
n/a
 Negation and proofs by contradiction with the proof engine06 years 46 weeks ago
by hbrandl
n/a
XML feed