LtU Forum

 TopicRepliesCreated sort iconLast reply
 Algebra Of Pointers371 year 23 weeks ago
by Keean Schupke
1 year 23 weeks ago
by Thomas Lord
  Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus01 year 24 weeks ago
by raould
n/a
 Programming by poking: why MIT stopped teaching SICP371 year 24 weeks ago
by Sean McDirmid
1 year 22 weeks ago
by Bruce Rennie
 Was there a language with an explicit call stack?491 year 24 weeks ago
by Alex Shpilkin
1 year 23 weeks ago
by pkhuong
 PL's hotness challenge 791 year 24 weeks ago
by Sean McDirmid
1 year 23 weeks ago
by skaller
 Chez Scheme now open-source31 year 25 weeks ago
by Bryan Turner
1 year 25 weeks ago
by Bryan Turner
 Elements of Programming in Rust01 year 26 weeks ago
by Keean Schupke
n/a
 Remora: An Array-Oriented Language with Static Rank Polymorphism451 year 27 weeks ago
by raould
1 year 25 weeks ago
by Andrew Moss
 Binary Representation - Is it something to rise above?741 year 28 weeks ago
by Ray Dillinger
1 year 25 weeks ago
by johnwcowan
 Good books on theoretical aspects of type theory when it applies to computer science and languages01 year 28 weeks ago
by Carter Cheng
n/a
 Some questions concerning P != NP171 year 28 weeks ago
by Carter Cheng
1 year 27 weeks ago
by Andrew Moss
 Best successor to Scheme?921 year 28 weeks ago
by raould
1 year 24 weeks ago
by Ray Dillinger
 IEEE Scheme expiring soon841 year 28 weeks ago
by johnwcowan
1 year 26 weeks ago
by Ray Dillinger
 SFI Talk: Four the hard way: Computer design and living software01 year 28 weeks ago
by marco
n/a
 Best opening sentence ever, in a paper on S-Exprs for IDEs.101 year 29 weeks ago
by raould
1 year 28 weeks ago
by johnwcowan
 ¿How can a dynamically typed language not actively prevent static checking?931 year 29 weeks ago
by raould
1 year 29 weeks ago
by naasking
 Feedback requested: A sample implementation of L-systems in Haskell51 year 29 weeks ago
by filipallberg
1 year 4 weeks ago
by filipallberg
 Is the "Getting started"-guide up-to-date?231 year 30 weeks ago
by filipallberg
1 year 29 weeks ago
by Sean McDirmid
 Affine Types - Introductory reading261 year 31 weeks ago
by filipallberg
14 weeks 5 days ago
by skaller
 LIVE 2016 @ ECOOP (CFP)21 year 31 weeks ago
by Sean McDirmid
1 year 25 weeks ago
by Sean McDirmid
 Why not C++?131 year 32 weeks ago
by raould
1 year 30 weeks ago
by skaller
 Onward 2016 call41 year 33 weeks ago
by Sean McDirmid
1 year 28 weeks ago
by Sean McDirmid
 Whither actual generality/customizability/flexibility?121 year 34 weeks ago
by raould
1 year 32 weeks ago
by John Shutt
 Learning two dialects simultaneously (CL/Scheme)41 year 35 weeks ago
by filipallberg
1 year 35 weeks ago
by Ehud Lamm
 New Regexp131 year 35 weeks ago
by Ivan Vodišek
1 year 30 weeks ago
by Ivan Vodišek
XML feed