LtU Forum

 TopicReplies sort iconCreatedLast reply
 Liquid Types09 years 18 weeks ago
by raould
n/a
 The most obsolete infrastructure money could buy - my worst job ever02 years 6 weeks ago
by Manuel J. Simoni
n/a
 Microsoft and PLT010 years 20 hours ago
by shahbaz
n/a
 Clusterken06 years 7 weeks ago
by raould
n/a
 Microsoft Phoenix013 years 17 weeks ago
by Isaac Gouy 000
n/a
 Evolving the Java Platform012 years 20 weeks ago
by el-vadimo
n/a
 Approaches to dependent types(DT)08 years 12 weeks ago
by Patrick Browne
n/a
 PECAN: Persuasive Prediction of Concurrency Access Anomalies01 year 37 weeks ago
by raould
n/a
 SPLASH 2015 - Call for Student Volunteers02 years 11 weeks ago
by craiganslow
n/a
 Nested data parallelism in Haskell (video)010 years 21 weeks ago
by magnus
n/a
 Prototyping Generic Programming using Template Haskell012 years 45 weeks ago
by Jim Apple
n/a
 A Java-like formalism for control flow analysis.09 years 4 weeks ago
by Kannan Goundan
n/a
 The theory behind the Terms language03 years 29 weeks ago
by Enrique Perez Arnaud
n/a
 FringeDC Formal Meeting 1PM Saturday Sept 22nd010 years 4 weeks ago
by drcode
n/a
 CIL (C Intermediate Language)012 years 48 weeks ago
by Andrei Formiga
n/a
 Lambda expressions in VB.NET010 years 44 weeks ago
by Michael Dorfman
n/a
 FringeDC Formal Meeting Oct 11th 6PM- Writing a compiler for a functional programming language09 years 2 weeks ago
by drcode
n/a
 Policy as Types03 years 23 weeks ago
by mikestay
n/a
 Proofs and puddings -- or, how pure is the pure lambda calculus, pt 3010 years 40 weeks ago
by Lucius Gregory Meredith
n/a
 Code Generation 2009 - June 16 - 18. Cambridge, UK08 years 32 weeks ago
by Mark Dalgarno
n/a
 Parsimony Principles for Software Components and Metalanguages09 years 46 weeks ago
by Bryan O Sullivan
n/a
 Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs (Tiark Rompf, Martin Odersky)07 years 10 weeks ago
by Alex Cruise
n/a
 Presentation at the Berlin Compiler Meetup on programming with algebra05 years 10 weeks ago
by André van Delft
n/a
 Chicago Functional Programmers07 years 21 weeks ago
by enewhuis
n/a
 SPLASH 2011 Video Conversations on Channel 905 years 49 weeks ago
by Charles Torre
n/a
XML feed