Simple noninterference from parametricity
Algehed, Maximilian, Bernardy, Jean-Philippe
Published in Proceedings of ACM on programming languages (01.08.2019)
Published in Proceedings of ACM on programming languages (01.08.2019)
Get full text
Journal Article
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
Bernardy, Jean-Philippe, Jansson, Patrik
Published in Logical methods in computer science (01.01.2016)
Published in Logical methods in computer science (01.01.2016)
Get full text
Journal Article
A unified view of modalities in type systems
Abel, Andreas, Bernardy, Jean-Philippe
Published in Proceedings of ACM on programming languages (02.08.2020)
Published in Proceedings of ACM on programming languages (02.08.2020)
Get full text
Journal Article
Algebraic Effects for Extensible Dynamic Semantics
Grove, Julian, Bernardy, Jean-Philippe
Published in Journal of logic, language, and information (01.05.2023)
Published in Journal of logic, language, and information (01.05.2023)
Get full text
Journal Article
Assessing the Unitary RNN as an End-to-End Compositional Model of Syntax
Bernardy, Jean-Philippe, Lappin, Shalom
Published in Electronic proceedings in theoretical computer science (10.08.2022)
Published in Electronic proceedings in theoretical computer science (10.08.2022)
Get full text
Journal Article
Proofs for free: Parametricity for dependent types
BERNARDY, JEAN-PHILIPPE, JANSSON, PATRIK, PATERSON, ROSS
Published in Journal of functional programming (01.03.2012)
Published in Journal of functional programming (01.03.2012)
Get full text
Journal Article
Dynamic IFC Theorems for Free
Algehed, Maximilian, Bernardy, Jean-Philippe, Hritcu, Catalin
Published in 2021 IEEE 34th Computer Security Foundations Symposium (CSF) (01.06.2021)
Published in 2021 IEEE 34th Computer Security Foundations Symposium (CSF) (01.06.2021)
Get full text
Conference Proceeding
Realizability and Parametricity in Pure Type Systems
Bernardy, Jean-Philippe, Lasson, Marc
Published in Foundations of Software Science and Computational Structures (2011)
Published in Foundations of Software Science and Computational Structures (2011)
Get full text
Book Chapter
Conference Proceeding
A Computational Interpretation of Parametricity
Bernardy, J-P, Moulin, G.
Published in 2012 27th Annual IEEE Symposium on Logic in Computer Science (01.06.2012)
Published in 2012 27th Annual IEEE Symposium on Logic in Computer Science (01.06.2012)
Get full text
Conference Proceeding
Proofs for free
BERNARDY, JEAN-PHILIPPE, JANSSON, PATRIK, PATERSON, ROSS
Published in Journal of functional programming (01.03.2012)
Published in Journal of functional programming (01.03.2012)
Get full text
Journal Article
A Presheaf Model of Parametric Type Theory
Bernardy, Jean-Philippe, Coquand, Thierry, Moulin, Guilhem
Published in Electronic notes in theoretical computer science (21.12.2015)
Published in Electronic notes in theoretical computer science (21.12.2015)
Get full text
Journal Article
Testing Polymorphic Properties
Bernardy, Jean-Philippe, Jansson, Patrik, Claessen, Koen
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2010)
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2010)
Get full text
Book Chapter
Conference Proceeding
Assessing the Unitary RNN as an End-to-End Compositional Model of Syntax
Bernardy, Jean-Philippe, Lappin, Shalom
Published in EPTCS 366. Proceedings End-to-End Compositional Models of Vector-Based Semantics, NUI Galway, 15-16 August, 2022, edited by: Michael Moortgat and Gijs Wijnholds (11.08.2022)
Published in EPTCS 366. Proceedings End-to-End Compositional Models of Vector-Based Semantics, NUI Galway, 15-16 August, 2022, edited by: Michael Moortgat and Gijs Wijnholds (11.08.2022)
Get full text
Paper
Journal Article
Conference Proceeding