We present an extensible, mathematically-structured algebraic simplifica...
Language Workbenches offer language designers an expressive environment ...
Dependent types allow us to express precisely what a function is intende...
Session Types offer a typing discipline that allows protocol specificati...