Back to Results
First PageMeta Content
Theoretical computer science / Mathematical logic / Logic / Lambda calculus / Models of computation / Computability theory / Let expression / Symbol / Substitution / Type system / Security type system


Uniqueness Typing Redefined Edsko de Vries?1 , 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: 220,19 KB

Share Result on Facebook