Login / Signup

Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc.

Alex HubersJ. Garrett Morris
Published in: CoRR (2023)
Keyphrases