LtU Forum

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