Robin Adams

ORCID

Publication Activity (10 Years)

Years Active: 2003-2019
Publications (10 Years): 6

Top Venues

Royal Holloway, University of London, UK (PHD)

Education History

Royal Holloway, University of London, UK

PHD

Publications

Robin Adams, Wolfgang Schulz, Sibylle Schupp, Florian Wittner
Guaranteeing privacy policies using lightweight type systems. Comput. Law Secur. Rev. 35 (6) (2019)
Robin Adams, Sibylle Schupp
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components. CoRR (2019)
Robin Adams, Sibylle Schupp
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components. VSTTE (2018)
Kai Bavendiek, Robin Adams, Sibylle Schupp
Privacy-Preserving Architectures with Probabilistic Guaranties. PST (2018)
Robin Adams, Marc Bezem, Thierry Coquand
A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic. TYPES (2016)
Robin Adams, Marc Bezem, Thierry Coquand
A Strongly Normalizing Computation Rule for Univalence in Higher-Order Minimal Logic. CoRR (2016)
Robin Adams, Bart Jacobs
A Type Theory for Probabilistic and Bayesian Reasoning. CoRR (2015)
Robin Adams, Bart Jacobs
A Type Theory for Probabilistic and Bayesian Reasoning. TYPES (2015)
Robin Adams
QPEL: Quantum Program and Effect Language. QPL (2014)
Robin Adams, Zhaohui Luo
A pluralist approach to the formalisation of mathematics. Math. Struct. Comput. Sci. 21 (4) (2011)
Robin Adams, Zhaohui Luo
Classical predicative logic-enriched type theories. Ann. Pure Appl. Log. 161 (11) (2010)
Robin Adams, Tiago Forin, Saranya Srinivasan, Llewellyn Mann
Cross-disciplinary practice in engineering contexts: a developmental phenomenographical perspective. ICLS (1) (2010)
Robin Adams, Zhaohui Luo
Weyl's predicative classical mathematics as a logic-enriched type theory. ACM Trans. Comput. Log. 11 (2) (2010)
Robin Adams
Coercive subtyping in lambda-free logical frameworks. LFMTP (2009)
Robin Adams, Zhaohui Luo
Classical Predicative Logic-Enriched Type Theories CoRR (2009)
Robin Adams
Lambda-Free Logical Frameworks CoRR (2008)
Zhaohui Luo, Robin Adams
Structural subtyping for inductive types with functorial equality rules. Math. Struct. Comput. Sci. 18 (5) (2008)
Robin Adams, Zhaohui Luo
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory CoRR (2008)
Robin Adams, Zhaohui Luo
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory. TYPES (2006)
Robin Adams
Pure type systems with judgemental equality. J. Funct. Program. 16 (2) (2006)
Robin Adams
Formalized Metatheory with Terms Represented by an Indexed Family of Types. TYPES (2004)
Robin Adams
A Modular Hierarchy of Logical Frameworks. TYPES (2003)

Robin Adams.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Robin Adams