LtU Forum

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