We present an extensible, mathematically-structured algebraic simplifica...
Language Workbenches offer language designers an expressive environment ...
State of the art optimisation passes for dependently typed languages can...
Agda's standard library struggles in various places with n-ary functions...
Almost every programming language's syntax includes a notion of binder a...
share