Back to Results
First PageMeta Content
Computing / Dependently typed programming / Logic in computer science / Functional programming / Lambda calculus / Monad / ATS / Calculus of constructions / Generalized algebraic data type / Software engineering / Programming language theory / Type theory


AURA: A Programming Language for Authorization and Audit Limin Jia Jeffrey A. Vaughan Karl Mazurak
Add to Reading List

Document Date: 2014-11-11 20:30:18

Open Document

File Size: 187,20 KB

Share Result on Facebook
UPDATE