Hereditary substitutions for simple types, formalized

Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming - MSFP '10 ◽

10.1145/1863597.1863601 ◽

2010 ◽

Author(s):

Chantal Keller ◽

Thorsten Altenkirch

Download Full-text