LtU Forum

 TopicReplies sort iconCreatedLast reply
 A StackExchange Site for Programming Language Theory953 years 45 weeks ago
by aaditmshah
3 years 21 weeks ago
by dmbarbour
 Constraint-Based Type Inference and Parametric Polymorphism954 years 34 weeks ago
by Sean McDirmid
3 years 1 week ago
by Sean McDirmid
 First Class Values, Types as values within a Programming Language9511 years 39 weeks ago
by Bruce Rennie
11 years 31 weeks ago
by Oleg
 Don't use "Yield" for co-routines; instead use "Postpone"942 years 28 weeks ago
by Hewitt
1 year 41 weeks ago
by Hewitt
 crazy PL idea: prescriptive trait inference946 years 5 weeks ago
by Sean McDirmid
5 years 48 weeks ago
by Sean McDirmid
 Something I forgot9427 weeks 4 days ago
by marco
26 weeks 19 hours ago
by Keean Schupke
 Google's Dart announced936 years 19 weeks ago
by vieiro
5 years 8 weeks ago
by NickP
 ¿How can a dynamically typed language not actively prevent static checking?931 year 47 weeks ago
by raould
1 year 47 weeks ago
by naasking
 plt vs. something else for programming in the large?938 years 2 days ago
by raould
7 years 36 weeks ago
by el-vadimo
 Haskell and creative freedom9212 years 24 weeks ago
by Nathan Sobo
12 years 23 weeks ago
by Pseudonym
 Best successor to Scheme?921 year 46 weeks ago
by raould
1 year 42 weeks ago
by Ray Dillinger
 SEC interested in formalising contracts ... in Python927 years 45 weeks ago
by Noel
7 years 42 weeks ago
by Brandon Niemczyk
 The evolution of Rust922 years 39 weeks ago
by qznc
2 years 37 weeks ago
by Thomas Lord
 Formal methods for O/R mapping9212 years 19 weeks ago
by Andris Birkmanis
10 years 27 weeks ago
by genneth
 References about the importance of formalism in programming language design915 years 50 weeks ago
by giuseppemag
5 years 47 weeks ago
by johnwcowan
 Aggregations (e.g., sets) in Logic Programs902 years 30 weeks ago
by Hewitt
2 years 29 weeks ago
by Hewitt
 Why type systems are interesting - part II9013 years 28 weeks ago
by Ehud Lamm
11 years 11 weeks ago
by Philippa Cowderoy
 Logic Programming with Failure as an Exception892 years 1 week ago
by Keean Schupke
1 year 50 weeks ago
by Keean Schupke
 Clojure's Solutions to the Expression Problem897 years 14 weeks ago
by fogus
7 years 13 weeks ago
by Cyril
 Those pesky higher-rank types. Or how to type \f x y. (f x, f y)893 years 40 weeks ago
by marco
3 years 39 weeks ago
by marco
 On constness893 years 20 weeks ago
by Talin
3 years 19 weeks ago
by Matt M
 OOP Parallel class hierarchies8811 years 32 weeks ago
by dataangel
11 years 32 weeks ago
by Curtis W
 Are Monads a Waste of Time?881 week 17 hours ago
by Keean Schupke
8 hours 55 min ago
by John Shutt
 The Church-Turing Thesis: Breaking the Myth8712 years 20 weeks ago
by naasking
8 years 32 weeks ago
by cdtw
 Microsoft's new Dynamic Language Runtime (DLR)8610 years 43 weeks ago
by Sean McDirmid
8 years 30 weeks ago
by dmbarbour
XML feed