LtU Forum

 TopicReplies sort iconCreatedLast reply
 Pretty Printers for Lightweight static Types011 years 1 week ago
by Rob Zinkov
n/a
 Non-deterministic versus parallel function application06 years 25 weeks ago
by jdgallag
n/a
 REScala: integrate reactive values with advanced event system05 years 7 weeks ago
by raould
n/a
 Interesting use cases for universal quantifiers in rank 2?01 year 38 weeks ago
by Alex Shpilkin
n/a
 Parameterized modules in Erlang013 years 36 weeks ago
by Matt Hellige
n/a
 Method inlining as a macro system013 years 5 days ago
by skybrian
n/a
 Formalizing and extending C# type inference011 years 10 weeks ago
by Isaac Gouy
n/a
 [ANN] Final Call for Speakers for Code Generation 200909 years 27 weeks ago
by Mark Dalgarno
n/a
 Question on top-level (and other) environments08 years 51 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 14 weeks ago
by Carter Cheng
n/a
 Jedi010 years 51 weeks ago
by lancewalton
n/a
 COMPOSITA - another ETH language09 years 10 weeks ago
by Isaac Gouy
n/a
 Chicago Functional Programmers08 years 8 weeks ago
by enewhuis
n/a
 Negation and proofs by contradiction with the proof engine06 years 20 weeks ago
by hbrandl
n/a
 Purely Functional Programming for Sensor Nets013 years 32 weeks ago
by Derek Elkins
n/a
 Call for Speakers: DSL DevCon09 years 26 weeks ago
by csells
n/a
 World’s first formal machine-checked proof of a general-purpose operating system kernel08 years 48 weeks ago
by Derek Elkins
n/a
 Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs (Tiark Rompf, Martin Odersky)07 years 49 weeks ago
by Alex Cruise
n/a
 L. Röder's Intentional Programming Presentations013 years 43 weeks ago
by Manu Simoni
n/a
 Scala programming job in Odersky's lab in Lausanne, Switzerland09 years 45 weeks ago
by jlaw
n/a
 Jane Street Summer Project '0909 years 24 weeks ago
by yminsky
n/a
 SLE 2014 - Call for Participation03 years 49 weeks ago
by craiganslow
n/a
 The single instruction compiler03 years 4 weeks ago
by marco
n/a
 The SPIN model checker and Promela012 years 22 weeks ago
by Todd Coram
n/a
 Reflection, Attributes and Parameterization09 years 36 weeks ago
by naasking
n/a
XML feed