Home Unlabelled Dependent Type Systems as Macros [pdf]

Dependent Type Systems as Macros [pdf]

By
Monday, January 20, 2020
Read
Add Comment
Comments

from Hacker News https://ift.tt/367CZkU
Tags :

Created By Nexus · Powered by Blogger
© All Rights Reserved

Terms Of Service · Privacy Policy · Disclaimer · Contact Us · About Us