LtU Forum

 TopicReplies sort iconCreatedLast reply
 Code Generation 2009 - June 16 - 18. Cambridge, UK09 years 19 weeks ago
by Mark Dalgarno
n/a
 MPS-based editor for Epigram programming language.013 years 4 weeks ago
by Cyril Konopko
n/a
 Biological computation (personal message, non PL-related)09 years 5 weeks ago
by Ehud Lamm
n/a
 Predicate calculus in program verification06 years 15 weeks ago
by hbrandl
n/a
 Facebook Flux: simplify the dataflow04 years 9 weeks ago
by raould
n/a
 LPFML, Xml language for linear programming013 years 49 weeks ago
by pantagruel
n/a
 ANN: Final Call for Speakers - Code Generation 2008010 years 28 weeks ago
by Mark Dalgarno
n/a
 bodyf*ck: an esoteric programming environment using camera input04 years 18 weeks ago
by Sean McDirmid
n/a
 Twitter feed recommendation: Meredith Patterson03 years 42 weeks ago
by Charles Stewart
n/a
 Microsoft Command Shell (msh)012 years 38 weeks ago
by el-vadimo
n/a
 Implicit Ownership Types for Memory Management010 years 42 weeks ago
by Rohan Hart
n/a
 Call for Participation: Programming Languages Mentoring Workshop - a POPL workshop.04 years 34 weeks ago
by Alan Schmitt
n/a
 CEPTR presentation @ MIT KIT03 years 9 weeks ago
by raould
n/a
 SFI Talk: Four the hard way: Computer design and living software02 years 15 weeks ago
by marco
n/a
 Introduction to the proof engine for static verification of software06 years 21 weeks ago
by hbrandl
n/a
 Lobster, a new programming language, just released.05 years 4 weeks ago
by Wouter
n/a
 The most obsolete infrastructure money could buy - my worst job ever02 years 46 weeks ago
by Manuel J. Simoni
n/a
 Full abstraction is not very abstract (via comp.lang.scheme)014 years 1 week ago
by Dave Herman
n/a
 "Stretch" languages012 years 15 weeks ago
by Isaac Gouy
n/a
 [ANN] Cat v0.14 and MetaCat Programming Languages011 years 8 weeks ago
by cdiggins
n/a
 New Full-time Erlang Jobs in Chicago08 years 23 weeks ago
by enewhuis
n/a
 VISSOFT 2015 - Call for Papers: New Ideas or Emerging Results and Tool Demos03 years 5 weeks ago
by craiganslow
n/a
 Volta Job Opportunities010 years 5 weeks ago
by Erik Meijer
n/a
 Call for Submissions, for the International Lisp Conference 200909 years 38 weeks ago
by Daniel Weinreb
n/a
 Wrangling C via Static Checks03 years 31 weeks ago
by raould
n/a
XML feed