LtU Forum

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