User loginNavigation |
Fresh O'Caml
Fresh O'Caml is Mark Shinwell's sucessor to Andrew Pitts's last summer's blockbuster FreshML. It's experimental, but Tom tells me it's very cool, and I trust him. This work comes out of... no, not INRIA, enclave of O'Caml High Acolytes, but rather the University of Cambridge Computer Laboratory Theory and Semantics Group. Here are the obligatory tasty paper morsels:
More papers than you can shake a stick at on Fresh O'Caml's dad, FreshML, are also available. |
Browse archives
Active forum topics
|
Recent comments
5 days 21 hours ago
1 week 5 days ago
1 week 5 days ago
2 weeks 2 days ago
2 weeks 6 days ago
2 weeks 6 days ago
3 weeks 1 day ago
3 weeks 1 day ago
3 weeks 1 day ago
3 weeks 3 days ago