LtU Forum

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