LtU Forum

 TopicRepliesCreated sort iconLast reply
 Tail of Nil and Its Type3714 years 11 weeks ago
by Andris Birkmanis
14 years 10 weeks ago
by Daniel Bonniot
 breve: a 3D simulation environment414 years 11 weeks ago
by Frank Atanassow
14 years 11 weeks ago
by Frank Atanassow
 First-class labels for extensible rows (draft)014 years 11 weeks ago
by Frank Atanassow
n/a
 Slate 0.3 released414 years 10 weeks ago
by doublec
14 years 10 weeks ago
by Ehud Lamm
 Why type systems are interesting - part II9014 years 10 weeks ago
by Ehud Lamm
11 years 45 weeks ago
by Philippa Cowderoy
 PLs and SE1014 years 10 weeks ago
by Ehud Lamm
14 years 10 weeks ago
by Ehud Lamm
 Constraint-Based Type Inference for Guarded Algebraic Data Types414 years 10 weeks ago
by Andris Birkmanis
14 years 10 weeks ago
by Andris Birkmanis
 Call-by-what?1814 years 10 weeks ago
by Andris Birkmanis
13 years 35 weeks ago
by Andris Birkmanis
 LPFML, Xml language for linear programming014 years 10 weeks ago
by pantagruel
n/a
 New Paul Graham thing...6814 years 10 weeks ago
by Matt Hellige
14 years 8 weeks ago
by andrew cooke
 Why compiler optimizations are interesting814 years 10 weeks ago
by Luke Gorrie
14 years 9 weeks ago
by rreyelts
 Type Theoretical Foundations for Data Structures, Classes, and Objects114 years 10 weeks ago
by Andris Birkmanis
14 years 10 weeks ago
by Andris Birkmanis
 Cω vs. Erlang?614 years 10 weeks ago
by bzhou
14 years 9 weeks ago
by Mark Evans
 LLVM 1.3 is released014 years 10 weeks ago
by Chris Lattner
n/a
 hierarchy destruction in Ada314 years 9 weeks ago
by Michael Mounteney
14 years 9 weeks ago
by Ehud Lamm
 Compaq WebL114 years 9 weeks ago
by pantagruel
14 years 9 weeks ago
by pantagruel
 Notes from a Concurrency-Oriented Junkie414 years 9 weeks ago
by Brent Fulgham
14 years 9 weeks ago
by John Eikenberry
 Grad School advice714 years 9 weeks ago
by Patrick Schultz
14 years 8 weeks ago
by andrew cooke
 The Origins of the Turing Thesis Myth1514 years 9 weeks ago
by Andris Birkmanis
14 years 7 weeks ago
by Andris Birkmanis
 Introduction to computability logic2114 years 9 weeks ago
by Andris Birkmanis
13 years 26 weeks ago
by Andris Birkmanis
 Dynamic Programming Languages + VLIW/EPIC014 years 8 weeks ago
by Defiler
n/a
 Which comes first, language or thought?014 years 8 weeks ago
by Isaac Gouy
n/a
 Tree programming languages814 years 8 weeks ago
by Matt Estes
14 years 5 weeks ago
by Marc Hamann
 Candygram: Erlang Message Passing Semantics in Python314 years 8 weeks ago
by Dominic Fox
14 years 8 weeks ago
by Ehud Lamm
 Partial trig functions314 years 8 weeks ago
by andrew cooke
14 years 8 weeks ago
by Mark Evans
XML feed