Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Stewart, Gordon
Banerjee, Anindya
and
Nanevski, Aleksandar
2013.
Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures.
p.
145.
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.
p.
61.
Bernardy, Jean-Philippe
and
Guilhem, Moulin
2013.
Type-theory in color.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 9,
p.
61.
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.
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.
p.
87.
Cohen, Cyril
Dénès, Maxime
and
Mörtberg, Anders
2013.
Certified Programs and Proofs.
Vol. 8307,
Issue. ,
p.
147.
Atkey, Robert
Johann, Patricia
and
Kennedy, Andrew
2013.
Abstraction and invariance for algebraically indexed types.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 1,
p.
87.
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
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.
Atkey, Robert
Ghani, Neil
and
Johann, Patricia
2014.
A relationally parametric model of dependent type theory.
p.
503.
Bernardy, Jean-Philippe
and
Pouillard, Nicolas
2014.
Names for free.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 12,
p.
13.
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.
Lasson, Marc
2014.
Canonicity of Weak ω-groupoid Laws Using Parametricity Theory.
Electronic Notes in Theoretical Computer Science,
Vol. 308,
Issue. ,
p.
229.
Blanchette, Jasmin Christian
Popescu, Andrei
and
Traytel, Dmitriy
2015.
Foundational extensible corecursion: a proof assistant perspective.
p.
192.
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.
Matsuda, Kazutaka
and
Wang, Meng
2015.
“Bidirectionalization for free” for monomorphic transformations.
Science of Computer Programming,
Vol. 111,
Issue. ,
p.
79.
Discussions
No Discussions have been published for this article.