Back to Results
First PageMeta Content
Software engineering / Computer programming / Computing / Type theory / Data types / Functional programming / Subroutines / Lambda calculus / Subtyping / Const / Unification / Type system


Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie
Add to Reading List

Document Date: 2016-08-23 03:13:56


Open Document

File Size: 211,74 KB

Share Result on Facebook