LtU Forum

 TopicReplies sort iconCreatedLast reply
 Liquid Types09 years 18 weeks ago
by raould
n/a
 what is GVScript?09 years 40 weeks ago
by raould
n/a
 Incremental parser based on invariant syntax fragments03 years 48 weeks ago
by eliah.lakhin
n/a
 Domain Specific Languages hierarchy discussion013 years 5 weeks ago
by Vitaly Lugovsky
n/a
 Sleep, scripting language for Java apps, released012 years 13 weeks ago
by rsmudge
n/a
 Approaches to dependent types(DT)08 years 13 weeks ago
by Patrick Browne
n/a
 Proofs and puddings -- or, how pure is the pure lambda calculus, pt 3010 years 41 weeks ago
by Lucius Gregory Meredith
n/a
 Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU)03 years 13 weeks ago
by craiganslow
n/a
 A Java-like formalism for control flow analysis.09 years 5 weeks ago
by Kannan Goundan
n/a
 It's Alive! Continuous Feedback in UI Programming04 years 28 weeks ago
by Sean McDirmid
n/a
 ANN: Bipedal, a new, untyped, stack-based HLL04 years 3 weeks ago
by claytonkb
n/a
 Nested data parallelism in Haskell (video)010 years 21 weeks ago
by magnus
n/a
 The Language List013 years 17 weeks ago
by Isaac Gouy 000
n/a
 FringeDC Formal Meeting 1PM Saturday Sept 22nd010 years 5 weeks ago
by drcode
n/a
 FringeDC Formal Meeting Oct 11th 6PM- Writing a compiler for a functional programming language09 years 2 weeks ago
by drcode
n/a
 Lambda expressions in VB.NET010 years 45 weeks ago
by Michael Dorfman
n/a
 DIALOG: A Conversational Programming System with a Graphical Orientation 04 years 21 weeks ago
by Sean McDirmid
n/a
 SPLASH 2015 - Call for Contributions: Other Tracks02 years 22 weeks ago
by craiganslow
n/a
 Interesting experiment in peer-review01 year 48 weeks ago
by Andrew Moss
n/a
 Bedrock case study, modular program verification01 year 41 weeks ago
by raould
n/a
 The verified heap sort algorithm05 years 11 weeks ago
by hbrandl
n/a
 Parsimony Principles for Software Components and Metalanguages09 years 46 weeks ago
by Bryan O Sullivan
n/a
 Etech 2006 CFP012 years 6 weeks ago
by Ehud Lamm
n/a
 3APL011 years 9 weeks ago
by Hank Thediek
n/a
 Luke?012 years 14 weeks ago
by Ehud Lamm
n/a
XML feed