LtU Forum

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