Size Analysis of Algebraic Data Types

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