Frex: Dependently Typed Algebraic Simplification

Bibliographic Details
Title:	Frex: Dependently Typed Algebraic Simplification
Authors:	Allais, Guillaume, Brady, Edwin, Corbyn, Nathan, Kammar, Ohad, Yallop, Jeremy
Source:	Proceedings of the ACM on Programming Languages. 9(ICFP):30-65
Availability:	http://dl.acm.org/doi/10.1145/3747506
Database:	ACM Full-Text Collection

Description
ISSN:	24751421
DOI:	10.1145/3747506