Examples
The following examples written in MLPolyR will be presented here:
Composable record extension and its dual
It demonstates how functional record extension in the primal corresponds to code extension in the dual. It is excerpted from ICFP'06 paper.
Exception handlers
It shows a short sequence of simple program fragments none of which exhibits uncaught exceptions.
CPS conversion
It shows extensible CPS conversion where a recursive type is extended.
Lambda-calculus interpreters
It provides a concrete interpreter implementation.
Expression problems
It shows a solution to expression problems.