Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Bernardy, Jean-Philippe
Jansson, Patrik
and
Paterson, Ross
2010.
Parametricity and dependent types.
p.
345.
Bernardy, Jean-Philippe
Jansson, Patrik
and
Paterson, Ross
2010.
Parametricity and dependent types.
ACM SIGPLAN Notices,
Vol. 45,
Issue. 9,
p.
345.
BERNARDY, JEAN-PHILIPPE
JANSSON, PATRIK
and
PATERSON, ROSS
2012.
Proofs for free.
Journal of Functional Programming,
Vol. 22,
Issue. 2,
p.
107.
Bernardy, Jean-Philippe
and
Moulin, Guilhem
2012.
A Computational Interpretation of Parametricity.
p.
135.
Matsuda, Kazutaka
and
Wang, Meng
2013.
Bidirectionalization for free with runtime recording.
p.
297.
Rabe, Florian
and
Sojakova, Kristina
2013.
Logical relations for a logical framework.
ACM Transactions on Computational Logic,
Vol. 14,
Issue. 4,
p.
1.
Atkey, Robert
Ghani, Neil
and
Johann, Patricia
2014.
A relationally parametric model of dependent type theory.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 1,
p.
503.
Atkey, Robert
Ghani, Neil
and
Johann, Patricia
2014.
A relationally parametric model of dependent type theory.
p.
503.
Bowman, William J.
and
Ahmed, Amal
2015.
Noninterference for free.
p.
101.
Matsuda, Kazutaka
and
Wang, Meng
2015.
“Bidirectionalization for free” for monomorphic transformations.
Science of Computer Programming,
Vol. 111,
Issue. ,
p.
79.
Bowman, William J.
and
Ahmed, Amal
2015.
Noninterference for free.
ACM SIGPLAN Notices,
Vol. 50,
Issue. 9,
p.
101.
Peyton Jones, Simon
Weirich, Stephanie
Eisenberg, Richard A.
and
Vytiniotis, Dimitrios
2016.
A List of Successes That Can Change the World.
Vol. 9600,
Issue. ,
p.
292.
Brown, Matt
and
Palsberg, Jens
2017.
Typed self-evaluation via intensional type functions.
p.
415.
Brown, Matt
and
Palsberg, Jens
2017.
Typed self-evaluation via intensional type functions.
ACM SIGPLAN Notices,
Vol. 52,
Issue. 1,
p.
415.
MATSUDA, KAZUTAKA
and
WANG, MENG
2018.
Applicative bidirectional programming.
Journal of Functional Programming,
Vol. 28,
Issue. ,
Ngo, Minh
Naumann, David A.
and
Rezk, Tamara
2020.
Formal Methods and Software Engineering.
Vol. 12531,
Issue. ,
p.
181.
Johann, Patricia
Ghiorzi, Enrico
and
Jeffries, Daniel
2022.
GADTs, Functoriality, Parametricity: Pick Two.
Electronic Proceedings in Theoretical Computer Science,
Vol. 357,
Issue. ,
p.
77.
Johann, Patricia
and
Ghiorzi, Enrico
2022.
(Deep) induction rules for GADTs.
p.
324.
Sieczkowski, Filip
Stepanenko, Sergei
Sterling, Jonathan
and
Birkedal, Lars
2024.
The Essence of Generalized Algebraic Data Types.
Proceedings of the ACM on Programming Languages,
Vol. 8,
Issue. POPL,
p.
695.
Discussions
No Discussions have been published for this article.