LtU Forum

 TopicReplies sort iconCreatedLast reply
 Inheritance and formal verification of software05 years 39 weeks ago
by hbrandl
n/a
 BNFT (Backus Naur Form Transformation) tool released08 years 19 weeks ago
by Poul Krogh
n/a
 The theory behind the Terms language03 years 42 weeks ago
by Enrique Perez Arnaud
n/a
 BlackBox Component Builder has been open sourced011 years 34 weeks ago
by claudio
n/a
 Simon Peyton-Jones Haskell Video010 years 21 weeks ago
by SamK
n/a
 Method inlining as a macro system012 years 27 weeks ago
by skybrian
n/a
 Policy as Types03 years 37 weeks ago
by mikestay
n/a
 L. Röder's Intentional Programming Presentations013 years 17 weeks ago
by Manu Simoni
n/a
 Types and Proof Carrying Code: Mobius012 years 16 weeks ago
by raould
n/a
 [ANN] Call for Speakers - Code Generation 200909 years 12 weeks ago
by Mark Dalgarno
n/a
 PECAN: Persuasive Prediction of Concurrency Access Anomalies01 year 51 weeks ago
by raould
n/a
 how can PLT experts help improve the web?011 years 38 weeks ago
by shahbaz
n/a
 Erik Meijer and Bertrand Meyer - Objects, Contracts, Concurrency, Sleeping Barbers and Eiffel09 years 36 weeks ago
by David B. Wildgoose
n/a
 Sunday November 26th - Lisp/Scheme Presentation in DC011 years 9 weeks ago
by drcode
n/a
 Predicates, ghost predicates and higher order predicates05 years 35 weeks ago
by hbrandl
n/a
 A Framework for Gradual Memory Management018 weeks 4 days ago
by jondgoodwin
n/a
 FringeDC- New Washington DC Organization for Fringe Programming Languages011 years 20 weeks ago
by drcode
n/a
 Workshop on Synchronization and Concurrency in OO languages012 years 7 weeks ago
by Sriram Srinivasan
n/a
 eskimo: experimenting with skeletons in the shared address model.011 years 7 weeks ago
by Denis Bredelet -jido
n/a
 Dynamic Language Embedding with Homogeneous Tool Support06 years 25 weeks ago
by Cyril
n/a
 The verified insertion sort algorithm05 years 29 weeks ago
by hbrandl
n/a
 The Ioke JVM Language: The power of Lisp and Ruby with an intuitive syntax09 years 11 weeks ago
by synodinos
n/a
 Presentation at the Berlin Compiler Meetup on programming with algebra05 years 24 weeks ago
by André van Delft
n/a
 TinyML - Lexer, Parser, Interpreter, and Polymorphic Type Checker in Under 700 Lines of SML09 years 48 weeks ago
by frostytrees
n/a
 Viable System Architecture08 years 39 weeks ago
by Hank Thediek
n/a
XML feed