LtU Forum

 TopicReplies sort iconCreatedLast reply
 Parrot 1.0.0 is out08 years 31 weeks ago
by vieiro
n/a
 SPLASH 2015 - 2nd Combined Call for Contributions02 years 17 weeks ago
by craiganslow
n/a
 World’s first formal machine-checked proof of a general-purpose operating system kernel08 years 10 weeks ago
by Derek Elkins
n/a
 Wrangling C via Static Checks02 years 44 weeks ago
by raould
n/a
 Waste your CPU-resources on programming challenge011 years 51 weeks ago
by mattias waldau
n/a
 Leszek - a new esoteric programming language010 years 49 weeks ago
by janek37
n/a
 Timber (O'Haskellish) has been released08 years 3 weeks ago
by raould
n/a
 Binary relations, endorelations and transitive closures05 years 5 days ago
by hbrandl
n/a
 Programming language Theme-D05 weeks 3 days ago
by tohoyn
n/a
 Ulf's Home-Page of Programming Language Design011 years 46 weeks ago
by Jim Apple
n/a
 DKAL: Distributed Knowledge Authorization Language06 years 12 weeks ago
by Charles Torre
n/a
 CEPTR presentation @ MIT KIT02 years 22 weeks ago
by raould
n/a
 Typing a Functional Stack-Based Language010 years 32 weeks ago
by cdiggins
n/a
 Extended Deadline - ALTA 2008 CFP09 years 27 weeks ago
by jbfryman
n/a
 Cat version 0.2011 years 18 weeks ago
by cdiggins
n/a
 Human language and machine language08 years 14 weeks ago
by kusimari
n/a
 Seeking contributors to psyche-c049 weeks 5 days ago
by pronesto
n/a
 Art, Craft, and Design in Software Development012 years 45 weeks ago
by pantagruel
n/a
 Amber: Eiffel/Ruby inspired language for the Parrot VM012 years 9 weeks ago
by meltsner
n/a
 ALTA 2008 - Call for Participation09 years 21 weeks ago
by jbfryman
n/a
 Jedi010 years 12 weeks ago
by lancewalton
n/a
 My personal Scheme09 years 5 weeks ago
by vijay
n/a
 Lambda, The Ultimate TA, Benjamin C. Pierce, ICFP 200907 years 20 weeks ago
by Marlene Miller
n/a
 The most obsolete infrastructure money could buy - my worst job ever02 years 7 weeks ago
by Manuel J. Simoni
n/a
 [ANN] Code Generation 2007 Programme available010 years 36 weeks ago
by Mark Dalgarno
n/a
XML feed