LtU Forum

 TopicReplies sort iconCreatedLast reply
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon022 weeks 6 days ago
by paulboca
n/a
 ICFP accepted papers03 years 36 weeks ago
by Sean McDirmid
n/a
 Typing "let rec"09 years 44 weeks ago
by sdogood
n/a
 Alexander Stepanov: STL and Its Design Principles (video)06 years 18 weeks ago
by Manuel J. Simoni
n/a
 Distributed Meta-Programming011 years 11 weeks ago
by naasking
n/a
 Off Topic Humour: New Programming Language C+-012 years 36 weeks ago
by David B. Wildgoose
n/a
 L. Röder's Intentional Programming Presentations013 years 21 weeks ago
by Manu Simoni
n/a
 CONTEXT07. Delimited contexts in OS010 years 37 weeks ago
by Oleg
n/a
 FringeDC Formal Meeting 1PM Saturday Sept 22nd010 years 22 weeks ago
by drcode
n/a
 [HIRING] 3 Positions @ UMass Amherst CS Dept, targeting Programming Languages06 years 13 weeks ago
by emery
n/a
 monadic constraint programming?011 years 46 weeks ago
by L G Meredith
n/a
 F# 1.9.1 released010 years 45 weeks ago
by grant
n/a
 Lambda-mu012 years 33 weeks ago
by Andris Birkmanis
n/a
  Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus01 year 41 weeks ago
by raould
n/a
 Chicago Functional Programmers07 years 39 weeks ago
by enewhuis
n/a
 Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs (Tiark Rompf, Martin Odersky)07 years 27 weeks ago
by Alex Cruise
n/a
 SISC 1.9.4 Released013 years 12 weeks ago
by Scott G. Miller
n/a
 Pythonect 0.2.0 Release05 years 42 weeks ago
by ikotler
n/a
 Understanding State011 years 8 weeks ago
by Hank Thediek
n/a
 PHOG: Probabilistic Model for Code01 year 34 weeks ago
by Sean McDirmid
n/a
 Mapping the monkeysphere06 years 36 weeks ago
by vieiro
n/a
 Please submit to LIVE! 2017 (SPLASH Vancouver)032 weeks 5 days ago
by Sean McDirmid
n/a
 Viable System Architecture08 years 42 weeks ago
by Hank Thediek
n/a
 Academic Commons08 years 28 weeks ago
by Hank Thediek
n/a
 Molecule: using monadic and streaming I/O to compose process networks on the JVM04 years 41 weeks ago
by Sébastien Bocq
n/a
XML feed