BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Japan
1 × Sweden
1 × United Kingdom
2 × Austria
2 × Canada
4 × USA
Collaborated with:
R.Harper S.Krishnamurthi N.Zeilberger N.Danner G.Brunerie E.Morehouse E.Finster M.Shulman J.Morgenstern Ramyaa C.D.Harris Max S. New A.Ahmed C.Angiuli G. A. Kavvos
Talks about:
type (7) theori (6) program (5) homotopi (3) comput (3) bind (3) function (2) approach (2) fundament (1) eilenberg (1)

Person: Daniel R. Licata

DBLP DBLP: Licata:Daniel_R=

Contributed to:

ICFP 20152015
LICS 20152015
ICFP 20142014
CSL-LICS 20142014
LICS 20132013
POPL 20122012
ICFP 20102010
ICFP 20092009
TLCA 20092009
LICS 20082008
ASE 20042004
ASE 20032003
POPL 20192019
POPL 20202020

Wrote 14 papers:

ICFP-2015-DannerLR #functional #induction #semantics
Denotational cost semantics for functional languages with inductive types (ND, DRL, R), pp. 140–151.
LICS-2015-LicataB #approach
A Cubical Approach to Synthetic Homotopy Theory (DRL, GB), pp. 92–103.
ICFP-2014-AngiuliMLH #topic
Homotopical patch theory (CA, EM, DRL, RH), pp. 243–256.
LICS-CSL-2014-LicataF #type system
Eilenberg-MacLane spaces in homotopy type theory (DRL, EF), p. 9.
LICS-2013-LicataS #type system
Calculating the Fundamental Group of the Circle in Homotopy Type Theory (DRL, MS), pp. 223–232.
POPL-2012-LicataH #2d #type system
Canonicity for 2-dimensional type theory (DRL, RH), pp. 337–348.
ICFP-2010-MorgensternL #programming
Security-typed programming within dependently typed programming (JM, DRL), pp. 169–180.
A universe of binding and computation (DRL, RH), pp. 123–134.
TLCA-2009-HarperLZ #approach
A Pronominal Approach to Binding and Computation (RH, DRL, NZ), pp. 3–4.
Focusing on Binding and Computation (DRL, NZ, RH), pp. 241–252.
ASE-2004-LicataK #interactive #source code #verification #web
Verifying Interactive Web Programs (DRL, SK), pp. 164–173.
ASE-2003-LicataHK #evolution #source code
The Feature Signatures of Evolving Programs (DRL, CDH, SK), pp. 281–285.
POPL-2019-NewLA #type system
Gradual type theory (MSN, DRL, AA), p. 31.
POPL-2020-KavvosMLD #call-by #functional #source code
Recurrence extraction for functional programs through call-by-push-value (GAK, EM, DRL, ND), p. 31.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.