User loginNavigation 
Constraint typing, subtyping, and separate compilationCan someone help me decode this comment from this post on Scala type inference:
Is that a theoretical result published somewhere? And when they say constraint typing, they mean "constraintbased typing" right? By Sean McDirmid at 20150309 06:36  LtU Forum  previous forum topic  next forum topic  other blogs  5466 reads

Browse archivesActive forum topics 
Recent comments
8 hours 43 min ago
11 hours 27 min ago
11 hours 46 min ago
11 hours 50 min ago
17 hours 39 min ago
2 days 6 hours ago
2 days 11 hours ago
3 days 11 hours ago
3 days 13 hours ago
3 days 19 hours ago