LtU Forum

 TopicRepliesCreated sort iconLast reply
 Tail of Nil and Its Type3713 years 15 weeks ago
by Andris Birkmanis
13 years 14 weeks ago
by Daniel Bonniot
 breve: a 3D simulation environment413 years 15 weeks ago
by Frank Atanassow
13 years 15 weeks ago
by Frank Atanassow
 First-class labels for extensible rows (draft)013 years 15 weeks ago
by Frank Atanassow
n/a
 Slate 0.3 released413 years 14 weeks ago
by doublec
13 years 14 weeks ago
by Ehud Lamm
 Why type systems are interesting - part II9013 years 14 weeks ago
by Ehud Lamm
10 years 49 weeks ago
by Philippa Cowderoy
 PLs and SE1013 years 14 weeks ago
by Ehud Lamm
13 years 14 weeks ago
by Ehud Lamm
 Constraint-Based Type Inference for Guarded Algebraic Data Types413 years 14 weeks ago
by Andris Birkmanis
13 years 14 weeks ago
by Andris Birkmanis
 Call-by-what?1813 years 14 weeks ago
by Andris Birkmanis
12 years 39 weeks ago
by Andris Birkmanis
 LPFML, Xml language for linear programming013 years 14 weeks ago
by pantagruel
n/a
 New Paul Graham thing...6813 years 14 weeks ago
by Matt Hellige
13 years 12 weeks ago
by andrew cooke
 Why compiler optimizations are interesting813 years 14 weeks ago
by Luke Gorrie
13 years 13 weeks ago
by rreyelts
 Type Theoretical Foundations for Data Structures, Classes, and Objects113 years 14 weeks ago
by Andris Birkmanis
13 years 14 weeks ago
by Andris Birkmanis
 Cω vs. Erlang?613 years 14 weeks ago
by bzhou
13 years 13 weeks ago
by Mark Evans
 LLVM 1.3 is released013 years 14 weeks ago
by Chris Lattner
n/a
 hierarchy destruction in Ada313 years 13 weeks ago
by Michael Mounteney
13 years 13 weeks ago
by Ehud Lamm
 Compaq WebL113 years 13 weeks ago
by pantagruel
13 years 13 weeks ago
by pantagruel
 Notes from a Concurrency-Oriented Junkie413 years 13 weeks ago
by Brent Fulgham
13 years 13 weeks ago
by John Eikenberry
 Grad School advice713 years 13 weeks ago
by Patrick Schultz
13 years 12 weeks ago
by andrew cooke
 The Origins of the Turing Thesis Myth1513 years 13 weeks ago
by Andris Birkmanis
13 years 11 weeks ago
by Andris Birkmanis
 Introduction to computability logic2113 years 13 weeks ago
by Andris Birkmanis
12 years 30 weeks ago
by Andris Birkmanis
 Dynamic Programming Languages + VLIW/EPIC013 years 12 weeks ago
by Defiler
n/a
 Which comes first, language or thought?013 years 12 weeks ago
by Isaac Gouy
n/a
 Tree programming languages813 years 12 weeks ago
by Matt Estes
13 years 9 weeks ago
by Marc Hamann
 Candygram: Erlang Message Passing Semantics in Python313 years 12 weeks ago
by Dominic Fox
13 years 12 weeks ago
by Ehud Lamm
 Partial trig functions313 years 12 weeks ago
by andrew cooke
13 years 12 weeks ago
by Mark Evans
XML feed