LtU Forum

 TopicReplies sort iconCreatedLast reply
 High-Level Nondeterministic Abstractions in C++011 years 20 weeks ago
by zayenz
n/a
 Academic Commons08 years 15 weeks ago
by Hank Thediek
n/a
 Asynchronous Middleware and Services012 years 45 weeks ago
by Ehud Lamm
n/a
 embedding forth07 years 48 weeks ago
by phbf
n/a
 Query Languages for doing NLP03 years 37 weeks ago
by nabreit
n/a
 PLT Scheme 4.0 released09 years 23 weeks ago
by Michael Vanier
n/a
 Viable System Architecture08 years 29 weeks ago
by Hank Thediek
n/a
 ANN: Open Quark (CAL language) 1.6 Released010 years 11 weeks ago
by luke
n/a
 Functional Programming jobs at Jane Street08 years 44 weeks ago
by yminsky
n/a
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon09 weeks 5 days ago
by paulboca
n/a
 Understanding the Dynamic Nature of a Program011 years 47 weeks ago
by raould
n/a
 REScala: integrate reactive values with advanced event system04 years 24 weeks ago
by raould
n/a
 Pythonect 0.3.1 released05 years 18 weeks ago
by ikotler
n/a
 [ANN] Code Generation 2010 program available07 years 35 weeks ago
by Mark Dalgarno
n/a
 Project Zonnon: Oberon for distributed programming in the large03 years 24 weeks ago
by raould
n/a
 Scott Meyers, Andrei Alexandrescu and Herb Sutter: C++ and Beyond (D)06 years 12 weeks ago
by Charles Torre
n/a
 Correctness proofs demonstrated with natural numbers06 years 9 weeks ago
by hbrandl
n/a
 The SPIN model checker and Promela011 years 39 weeks ago
by Todd Coram
n/a
 FringeDC Formal Meeting March 22nd at 1PM- Haskell Spectacular: XMonad, Zippers and More!09 years 35 weeks ago
by drcode
n/a
 Sleep, scripting language for Java apps, released012 years 17 weeks ago
by rsmudge
n/a
 Molecule: using monadic and streaming I/O to compose process networks on the JVM04 years 28 weeks ago
by Sébastien Bocq
n/a
 Ralf Lämmel: Going bananas06 years 43 weeks ago
by Charles Torre
n/a
 The TechEmpower Web Framework Benchmarks03 years 28 weeks ago
by Adam Chlipala
n/a
 Uniqueness and Reference Immutability for Safe Parallelism04 years 49 weeks ago
by raould
n/a
 LPFML, Xml language for linear programming013 years 14 weeks ago
by pantagruel
n/a
XML feed