Robin Adams

Associate Professor at Computing Science

Source: chalmers.se

Contact Details

Publications (15)
Projects (0)

Showing 15 publications

2019

Guaranteeing Privacy Policies using Lightweight Type Systems

Robin Adams, Wolfgang Schulz, Sibylle Schupp et al

Computer Law and Security Review. Vol. 35 (6)

Journal article

2018

A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic

Marc Bezem, Robin Adams, Thierry Coquand

Leibniz International Proceedings in Informatics, LIPIcs. Vol. 97

Paper in proceeding

2018

Privacy-Preserving Architectures with Probabilistic Guaranties

Kai Buvendiek, Sibylle Schupp, Robin Adams

2018 16th Annual Conference on Privacy, Security and Trust, PST 2018, p. 38-47

Paper in proceeding

2018

Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components

Robin Adams, Sibylle Schupp

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11294 LNCS, p. 196-214

Paper in proceeding

2018

A Type Theory for Probabilistic and Bayesian Reasoning

Robin Adams, Bart Jacobs

Leibniz International Proceedings in Informatics (LIPIcs). Vol. 69, p. 11-134

Paper in proceeding

2014

QPEL: Quantum Program and Effect Language

Robin Adams

Electronic Proceedings in Theoretical Computer Science. Vol. 172, p. 133-153

Paper in proceeding

2011

A pluralist approach to the formalisation of mathematics

Robin Adams, Zhaohui Luo

Mathematical Structures in Computer Science. Vol. 21 (4), p. 913-942

Journal article

2010

Weyl's predicative classical mathematics as a logic-enriched type theory

Robin Adams, Zhaohui Luo

ACM Transactions on Computational Logic. Vol. 11 (2)

Journal article

2010

Classical Predicative Logic-Enriched Type Theories

Robin Adams, Zhaohui Luo

Annals of Pure and Applied Logic. Vol. 161 (11), p. 1315-1345

Journal article

2009

Coercive subtyping in lambda-free logical frameworks

Robin Adams

, p. 30-39

Paper in proceeding

2008

Structural subtyping for inductive types with functorial equality rules

Zhaohui Luo, Robin Adams

Mathematical Structures in Computer Science. Vol. 18 (5), p. 931-972

Journal article

2007

Weyl's predicative classical mathematics as a logic-enriched type theory

Robin Adams, Z. Luo

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4502, p. 1-17

Paper in proceeding

2006

Pure type systems with judgemental equality

Robin Adams

Journal of Functional Programming. Vol. 16 (2), p. 219-246

Journal article

2006

Formalized metatheory with terms represented by an indexed family of types

Robin Adams

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3839, p. 1-16

Paper in proceeding

2004

A Modular Hierarchy of Logical Frameworks

Robin Adams

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3085, p. 1-16

Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.

There might be more projects where Robin Adams participates, but you have to be logged in as a Chalmers employee to see them.