LtU Forum

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