Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Cohen, Cyril
Dénès, Maxime
and
Mörtberg, Anders
2013.
Certified Programs and Proofs.
Vol. 8307,
Issue. ,
p.
147.
Nanevski, Aleksandar
Banerjee, Anindya
and
Garg, Deepak
2013.
Dependent Type Theory for Verification of Information Flow and Access Control Policies.
ACM Transactions on Programming Languages and Systems,
Vol. 35,
Issue. 2,
p.
1.
Stewart, Gordon
Banerjee, Anindya
and
Nanevski, Aleksandar
2013.
Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures.
p.
145.
Atkey, Robert
Johann, Patricia
and
Kennedy, Andrew
2013.
Abstraction and invariance for algebraically indexed types.
p.
87.
Bernardy, Jean-Philippe
and
Pouillard, Nicolas
2013.
Names for free.
p.
13.
Atkey, Robert
Johann, Patricia
and
Kennedy, Andrew
2013.
Abstraction and invariance for algebraically indexed types.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 1,
p.
87.
Bernardy, Jean-Philippe
and
Guilhem, Moulin
2013.
Type-theory in color.
p.
61.
Rabe, Florian
and
Sojakova, Kristina
2013.
Logical relations for a logical framework.
ACM Transactions on Computational Logic,
Vol. 14,
Issue. 4,
p.
1.
Matsuda, Kazutaka
and
Wang, Meng
2013.
Bidirectionalization for free with runtime recording.
p.
297.
Bernardy, Jean-Philippe
and
Guilhem, Moulin
2013.
Type-theory in color.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 9,
p.
61.
Lasson, Marc
2014.
Canonicity of Weak ω-groupoid Laws Using Parametricity Theory.
Electronic Notes in Theoretical Computer Science,
Vol. 308,
Issue. ,
p.
229.
Atkey, Robert
Ghani, Neil
and
Johann, Patricia
2014.
A relationally parametric model of dependent type theory.
p.
503.
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
2014.
From parametricity to conservation laws, via Noether's theorem.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 1,
p.
491.
Atkey, Robert
2014.
From parametricity to conservation laws, via Noether's theorem.
p.
491.
Bernardy, Jean-Philippe
and
Pouillard, Nicolas
2014.
Names for free.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 12,
p.
13.
Bernardy, Jean-Philippe
Coquand, Thierry
and
Moulin, Guilhem
2015.
A Presheaf Model of Parametric Type Theory.
Electronic Notes in Theoretical Computer Science,
Vol. 319,
Issue. ,
p.
67.
Rabe, Florian
2015.
Lax Theory Morphisms.
ACM Transactions on Computational Logic,
Vol. 17,
Issue. 1,
p.
1.
Blanchette, Jasmin Christian
Popescu, Andrei
and
Traytel, Dmitriy
2015.
Foundational extensible corecursion: a proof assistant perspective.
ACM SIGPLAN Notices,
Vol. 50,
Issue. 9,
p.
192.
Blanchette, Jasmin Christian
Popescu, Andrei
and
Traytel, Dmitriy
2015.
Foundational extensible corecursion: a proof assistant perspective.
p.
192.
Discussions
No Discussions have been published for this article.