LtU Forum

 TopicReplies sort iconCreatedLast reply
 A Theory of Changes for Higher-Order Languages: Incrementalizing Lambda by Static Differentiation04 years 24 weeks ago
by Sean McDirmid
n/a
 Rewriting Haskell Strings012 years 6 weeks ago
by Per Vognsen
n/a
 Parrot 1.0.0 is out09 years 30 weeks ago
by vieiro
n/a
 Dyna: a weighted dynamic logic programming language013 years 16 weeks ago
by marco
n/a
 Implementation of reducers and other Cilk++ hyperobjects: Peeking Under the Hood09 years 17 weeks ago
by Ilya Mirman
n/a
 Pretty Printers for Lightweight static Types011 years 14 weeks ago
by Rob Zinkov
n/a
 Non-deterministic versus parallel function application06 years 38 weeks ago
by jdgallag
n/a
 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
 Parameterized modules in Erlang013 years 49 weeks ago
by Matt Hellige
n/a
 Method inlining as a macro system013 years 13 weeks ago
by skybrian
n/a
 Formalizing and extending C# type inference011 years 24 weeks ago
by Isaac Gouy
n/a
 [ANN] Final Call for Speakers for Code Generation 200909 years 41 weeks ago
by Mark Dalgarno
n/a
 Question on top-level (and other) environments09 years 13 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 28 weeks ago
by Carter Cheng
n/a
 Jedi011 years 12 weeks ago
by lancewalton
n/a
 COMPOSITA - another ETH language09 years 24 weeks ago
by Isaac Gouy
n/a
 Chicago Functional Programmers08 years 22 weeks ago
by enewhuis
n/a
 Negation and proofs by contradiction with the proof engine06 years 33 weeks ago
by hbrandl
n/a
 Purely Functional Programming for Sensor Nets013 years 46 weeks ago
by Derek Elkins
n/a
 Call for Speakers: DSL DevCon09 years 39 weeks ago
by csells
n/a
 World’s first formal machine-checked proof of a general-purpose operating system kernel09 years 9 weeks ago
by Derek Elkins
n/a
 Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs (Tiark Rompf, Martin Odersky)08 years 10 weeks ago
by Alex Cruise
n/a
 L. Röder's Intentional Programming Presentations014 years 4 weeks ago
by Manu Simoni
n/a
 SPLASH 2015 - 2nd Combined Call for Contributions03 years 17 weeks ago
by craiganslow
n/a
XML feed