0:00 / 0:00
- Recommended by 2 people: 1 on Lobsters and 1 in engineering communities.
- Presented by Andreas Rossberg, co-designer of WebAssembly
Advanced. Deep dive for people who know the field.
1.2K views11 years ago2 recommendations
Programming languagesComputer scienceLanguage design and type systemsFunctional programmingComputation and complexity
Andreas Rossberg presents 1ML, a dialect of ML that unifies the core and module languages into a single, elegant type system.
The uploader added no description.Why it's here
2 people recommend thisWhat people say. Recommended as a landmark presentation on unifying programming language core and module systems.
berton Lobsters • Recommends
1ML - Core and Modules United
Paper here: http://www.mpi-sws.org/~rossberg/1ml/