LtU Forum

 TopicReplies sort iconCreatedLast reply
 Typed Data951 year 45 weeks ago
by Andrew Moss
1 year 41 weeks ago
by Keean Schupke
 Constraint-Based Type Inference and Parametric Polymorphism954 years 16 weeks ago
by Sean McDirmid
2 years 35 weeks ago
by Sean McDirmid
 First Class Values, Types as values within a Programming Language9511 years 20 weeks ago
by Bruce Rennie
11 years 13 weeks ago
by Oleg
 crazy PL idea: prescriptive trait inference945 years 39 weeks ago
by Sean McDirmid
5 years 29 weeks ago
by Sean McDirmid
 Something I forgot949 weeks 2 days ago
by marco
7 weeks 5 days ago
by Keean Schupke
 Don't use "Yield" for co-routines; instead use "Postpone"942 years 9 weeks ago
by Hewitt
1 year 23 weeks ago
by Hewitt
 Google's Dart announced936 years 1 week ago
by vieiro
4 years 41 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 28 weeks ago
by naasking
 SEC interested in formalising contracts ... in Python927 years 26 weeks ago
by Noel
7 years 24 weeks ago
by Brandon Niemczyk
 The evolution of Rust922 years 20 weeks ago
by qznc
2 years 19 weeks ago
by Thomas Lord
 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 1 week ago
by Andris Birkmanis
10 years 9 weeks ago
by genneth
 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 11 weeks ago
by Hewitt
2 years 11 weeks ago
by Hewitt
 Why type systems are interesting - part II9013 years 10 weeks ago
by Ehud Lamm
10 years 45 weeks ago
by Philippa Cowderoy
 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 20 weeks ago
by marco
 Clojure's Solutions to the Expression Problem896 years 48 weeks ago
by fogus
6 years 46 weeks ago
by Cyril
 On constness893 years 2 weeks ago
by Talin
3 years 6 days ago
by Matt M
 Logic Programming with Failure as an Exception891 year 35 weeks ago
by Keean Schupke
1 year 32 weeks ago
by Keean Schupke
 OOP Parallel class hierarchies8811 years 14 weeks ago
by dataangel
11 years 13 weeks ago
by Curtis W
 The Church-Turing Thesis: Breaking the Myth8712 years 1 week ago
by naasking
8 years 13 weeks ago
by cdtw
 "Popular vs. Good" in Programming Languages8612 years 38 weeks ago
by Kevin Greer
12 years 37 weeks ago
by Luke Gorrie
 Capability-based security; how does it work?867 years 25 weeks ago
by Ray Dillinger
7 years 24 weeks ago
by dmbarbour
XML feed