LtU Forum

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