Author: "Licata, Daniel R." / Journal: acm / sigplan notices - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Licata, Daniel R."' showing total 4 results

Start Over Author "Licata, Daniel R." Journal acm / sigplan notices

4 results on '"Licata, Daniel R."'

1. Denotational cost semantics for functional languages with inductive types.

Author: Danner, Norman, Licata, Daniel R., and Ramyaa, Ramyaa
Published: 2015
Full Text: View/download PDF

2. Canonicity for 2-dimensional type theory.

Author: Licata, Daniel R. and Harper, Robert
Published: 2012
Full Text: View/download PDF

3. Security-typed programming within dependently typed programming.

Author: Morgenstern, Jamie and Licata, Daniel R.
Published: 2010
Full Text: View/download PDF

4. A universe of binding and computation.

Author: Licata, Daniel R. and Harper, Robert
Published: 2009
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results