LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Database Theory and Type systems/Programming Languages.513 years 21 weeks ago
by Matt Estes
13 years 21 weeks ago
by Oleg
 Eclipse C/C++ Dev Tools 2.0 Released113 years 21 weeks ago
by Mark Evans
13 years 21 weeks ago
by Mark Evans
 Introducing o:XML1313 years 21 weeks ago
by Dominic Fox
13 years 20 weeks ago
by pantagruel
 Type systems and software evolution413 years 21 weeks ago
by Ehud Lamm
13 years 20 weeks ago
by Mark Evans
 The Sphere Online Judge013 years 20 weeks ago
by Jim Apple
n/a
 Info needed513 years 21 weeks ago
by Ehud Lamm
13 years 20 weeks ago
by Ehud Lamm
 Having trouble with 'purity'1013 years 21 weeks ago
by mjstahl
13 years 20 weeks ago
by Anton van Straaten
 A Functional Semantics of Attribute Grammars213 years 20 weeks ago
by Andris Birkmanis
13 years 20 weeks ago
by Andris Birkmanis
 IronPython: First public version released113 years 20 weeks ago
by Oliver Horn
13 years 20 weeks ago
by Oliver Horn
 PyCLIPS - expert systems shell in Python513 years 21 weeks ago
by Dominic Fox
13 years 20 weeks ago
by franzg
 Mind the Gap213 years 20 weeks ago
by pantagruel
13 years 20 weeks ago
by Frank Atanassow
 Cω Preview Available2613 years 22 weeks ago
by aelij
13 years 20 weeks ago
by Marcin Stefaniak
 techniques for JIT (parallel?) compilation of straight line numerical code213 years 20 weeks ago
by Jonathan Graehl
13 years 20 weeks ago
by Darius Bacon
 Mila1613 years 21 weeks ago
by Christian Staudenmeyer
13 years 19 weeks ago
by Christian Staudenmeyer
 International Components for Unicode 3.0 Released1813 years 24 weeks ago
by Mark Evans
13 years 19 weeks ago
by Mark Evans
 Oberon Day @ CERN 2004013 years 19 weeks ago
by Isaac Gouy
n/a
 breve: a 3D simulation environment413 years 18 weeks ago
by Frank Atanassow
13 years 18 weeks ago
by Frank Atanassow
 First-class labels for extensible rows (draft)013 years 18 weeks ago
by Frank Atanassow
n/a
 Tail of Nil and Its Type3713 years 19 weeks ago
by Andris Birkmanis
13 years 18 weeks ago
by Daniel Bonniot
 Slate 0.3 released413 years 18 weeks ago
by doublec
13 years 18 weeks ago
by Ehud Lamm
 Constraint-Based Type Inference for Guarded Algebraic Data Types413 years 18 weeks ago
by Andris Birkmanis
13 years 18 weeks ago
by Andris Birkmanis
 LPFML, Xml language for linear programming013 years 18 weeks ago
by pantagruel
n/a
 Type Theoretical Foundations for Data Structures, Classes, and Objects113 years 18 weeks ago
by Andris Birkmanis
13 years 18 weeks ago
by Andris Birkmanis
 PLs and SE1013 years 18 weeks ago
by Ehud Lamm
13 years 18 weeks ago
by Ehud Lamm
 LLVM 1.3 is released013 years 18 weeks ago
by Chris Lattner
n/a
XML feed