LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Database Theory and Type systems/Programming Languages.514 years 8 weeks ago
by Matt Estes
14 years 8 weeks ago
by Oleg
 Eclipse C/C++ Dev Tools 2.0 Released114 years 8 weeks ago
by Mark Evans
14 years 8 weeks ago
by Mark Evans
 Introducing o:XML1314 years 8 weeks ago
by Dominic Fox
14 years 8 weeks ago
by pantagruel
 Type systems and software evolution414 years 8 weeks ago
by Ehud Lamm
14 years 8 weeks ago
by Mark Evans
 The Sphere Online Judge014 years 8 weeks ago
by Jim Apple
n/a
 Info needed514 years 9 weeks ago
by Ehud Lamm
14 years 8 weeks ago
by Ehud Lamm
 Having trouble with 'purity'1014 years 8 weeks ago
by mjstahl
14 years 8 weeks ago
by Anton van Straaten
 A Functional Semantics of Attribute Grammars214 years 8 weeks ago
by Andris Birkmanis
14 years 8 weeks ago
by Andris Birkmanis
 IronPython: First public version released114 years 8 weeks ago
by Oliver Horn
14 years 8 weeks ago
by Oliver Horn
 PyCLIPS - expert systems shell in Python514 years 9 weeks ago
by Dominic Fox
14 years 7 weeks ago
by franzg
 Mind the Gap214 years 8 weeks ago
by pantagruel
14 years 7 weeks ago
by Frank Atanassow
 Cω Preview Available2614 years 9 weeks ago
by aelij
14 years 7 weeks ago
by Marcin Stefaniak
 techniques for JIT (parallel?) compilation of straight line numerical code214 years 7 weeks ago
by Jonathan Graehl
14 years 7 weeks ago
by Darius Bacon
 Mila1614 years 8 weeks ago
by Christian Staudenmeyer
14 years 7 weeks ago
by Christian Staudenmeyer
 International Components for Unicode 3.0 Released1814 years 12 weeks ago
by Mark Evans
14 years 7 weeks ago
by Mark Evans
 Oberon Day @ CERN 2004014 years 7 weeks ago
by Isaac Gouy
n/a
 breve: a 3D simulation environment414 years 6 weeks ago
by Frank Atanassow
14 years 6 weeks ago
by Frank Atanassow
 First-class labels for extensible rows (draft)014 years 6 weeks ago
by Frank Atanassow
n/a
 Tail of Nil and Its Type3714 years 7 weeks ago
by Andris Birkmanis
14 years 6 weeks ago
by Daniel Bonniot
 Slate 0.3 released414 years 6 weeks ago
by doublec
14 years 6 weeks ago
by Ehud Lamm
 Constraint-Based Type Inference for Guarded Algebraic Data Types414 years 6 weeks ago
by Andris Birkmanis
14 years 6 weeks ago
by Andris Birkmanis
 LPFML, Xml language for linear programming014 years 6 weeks ago
by pantagruel
n/a
 Type Theoretical Foundations for Data Structures, Classes, and Objects114 years 5 weeks ago
by Andris Birkmanis
14 years 5 weeks ago
by Andris Birkmanis
 PLs and SE1014 years 6 weeks ago
by Ehud Lamm
14 years 5 weeks ago
by Ehud Lamm
 LLVM 1.3 is released014 years 5 weeks ago
by Chris Lattner
n/a
XML feed