User loginNavigation |
Koka a function oriented language with effect inference
Koka extends the idea of using row polymorphism to encode an effect system and the relations between them. Daan Leijen is the primary researcher behind it and his research was featured previously on LtU, mainly on row polymorphism in the Morrow Language. So far there's no paper available on the language design, just the slides from a Lang.Next talk (which doesn't seem to have video available at Channel 9), but it's in the program for HOPE 2012. By Daniel Yokomizo at 2012-08-16 05:40 | Functional | Software Engineering | Type Theory | other blogs | 22889 reads
|
Browse archivesActive forum topics
|
Recent comments
2 hours 44 min ago
6 days 9 hours ago
6 days 9 hours ago
1 week 3 days ago
2 weeks 11 hours ago
2 weeks 15 hours ago
2 weeks 2 days ago
2 weeks 2 days ago
2 weeks 2 days ago
2 weeks 4 days ago