Back to Results
First PageMeta Content
Software engineering / Declarative programming / Data types / Computing / Type theory / Functional programming / Object-oriented programming / Polymorphism / Map / Ordinal number / Boolean data type / CurryHoward correspondence


Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at Dresden
Add to Reading List

Document Date: 2016-08-01 05:50:10

Open Document

File Size: 404,47 KB

Share Result on Facebook
UPDATE