Size Analysis of Algebraic Data Types

by Alejandro Tamalet , Olha Shkaravska , Marko van Eekelen
Citations:2 - 2 self