We stand with Ukraine  

Robin Adams

Orcid: 0000-0003-2644-1093

Affiliations:
  • Chalmers University of Technology, Gothenburg, Sweden
  • Hamburg University of Technology, Germany (2017)
  • University of Bergen, Norway (2016 - 2017)
  • Radboud University Nijmegen, The Netherlands (2014 - 2015)
  • Royal Holloway University of London, UK (2005 - 2012)
  • Victoria University of Manchester, UK (2004 - 2005)
  • University of Manchester, UK (PhD 2004)


According to our database1, Robin Adams authored at least 18 papers between 2003 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Guaranteeing privacy policies using lightweight type systems.
[BibTeX]
[DOI]
Robin Adams
,
Wolfgang Schulz
,
Sibylle Schupp
,
Florian Wittner
Comput. Law Secur. Rev., 2019

2018
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components.
[BibTeX]
[DOI]
Robin Adams
,
Sibylle Schupp
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Privacy-Preserving Architectures with Probabilistic Guaranties.
[BibTeX]
[DOI]
Kai Bavendiek
,
Robin Adams
,
Sibylle Schupp
Proceedings of the 16th Annual Conference on Privacy, Security and Trust, 2018

2016
A Strongly Normalizing Computation Rule for Univalence in Higher-Order Minimal Logic.
[BibTeX]
[DOI]
Robin Adams
,
Marc Bezem
,
Thierry Coquand
CoRR, 2016

A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic.
[BibTeX]
[DOI]
Robin Adams
,
Marc Bezem
,
Thierry Coquand
Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016

2015
A Type Theory for Probabilistic and Bayesian Reasoning.
[BibTeX]
[DOI]
Robin Adams
,
Bart Jacobs
Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015

2014
QPEL: Quantum Program and Effect Language.
[BibTeX]
[DOI]
Robin Adams
Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

2011
A pluralist approach to the formalisation of mathematics.
[BibTeX]
[DOI]
Robin Adams
,
Zhaohui Luo
Math. Struct. Comput. Sci., 2011

2010
Weyl's predicative classical mathematics as a logic-enriched type theory.
[BibTeX]
[DOI]
Robin Adams
,
Zhaohui Luo
ACM Trans. Comput. Log., 2010

Classical predicative logic-enriched type theories.
[BibTeX]
[DOI]
Robin Adams
,
Zhaohui Luo
Ann. Pure Appl. Log., 2010

Cross-disciplinary practice in engineering contexts: a developmental phenomenographical perspective.
[BibTeX]
[DOI]
Robin Adams
,
Tiago Forin
,
Saranya Srinivasan
,
Llewellyn Mann
Proceedings of the Learning in the Disciplines: Proceedings of the 9th International Conference of the Learning Sciences, 2010

2009
Coercive subtyping in lambda-free logical frameworks.
[BibTeX]
[DOI]
Robin Adams
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009

2008
Structural subtyping for inductive types with functorial equality rules.
[BibTeX]
[DOI]
Zhaohui Luo
,
Robin Adams
Math. Struct. Comput. Sci., 2008

Lambda-Free Logical Frameworks
[BibTeX]
[DOI]
Robin Adams
CoRR, 2008

2006
Pure type systems with judgemental equality.
[BibTeX]
[DOI]
Robin Adams
J. Funct. Program., 2006

2004
A modular hierarchy of logical frameworks.
[BibTeX]
[DOI]
Robin Adams
PhD thesis, 2004

Formalized Metatheory with Terms Represented by an Indexed Family of Types.
[BibTeX]
[DOI]
Robin Adams
Proceedings of the Types for Proofs and Programs, International Workshop, 2004

2003
A Modular Hierarchy of Logical Frameworks.
[BibTeX]
[DOI]
Robin Adams
Proceedings of the Types for Proofs and Programs, International Workshop, 2003


  Loading...