Robin Adams

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