LtU Forum

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