MLPolyR is a tiny ML-like language with
- Row polymorphism
- Polymorphic record selection and sums
- Functional record update
- Extensible first-class cases
- Mutable record fields
- Type inference system with principal types
- Type system based exception handling
News
| [12/11/2008] | Matthias Blume gave a talk on type-safe exception handlers in MLPolyR at 6th ASIAN Symposium on Programming Languages and Systems. |
| [09/12/2008] | Wonseok Chae gave a talk on building a family of MLPolyR compilers at 12th Software Product Line Conference. |
| [06/14/2007] | You can download a current version of the MLPolyR compiler at http://ttic.uchicago.edu/~blume/mlpolyr/ |