Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Berardi, Stefano
Coppo, Mario
Damiani, Ferruccio
and
Giannini, Paola
2000.
Semantics, Applications, and Implementation of Program Generation.
Vol. 1924,
Issue. ,
p.
172.
Fischbach, Adam
and
Hannan, John
2001.
Programs as Data Objects.
Vol. 2053,
Issue. ,
p.
25.
Carlier, Sébastien
and
Wells, J. B.
2004.
Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction.
p.
132.
Benton, Nick
2004.
Simple relational correctness proofs for static analyses and program transformations.
ACM SIGPLAN Notices,
Vol. 39,
Issue. 1,
p.
14.
Benton, Nick
2004.
Simple relational correctness proofs for static analyses and program transformations.
p.
14.
Neergaard, Peter Møller
and
Mairson, Harry G.
2004.
Types, potency, and idempotency.
ACM SIGPLAN Notices,
Vol. 39,
Issue. 9,
p.
138.
Neergaard, Peter Møller
and
Mairson, Harry G.
2004.
Types, potency, and idempotency.
p.
138.
Carlier, Sébastien
and
Wells, J.B.
2005.
Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation.
Electronic Notes in Theoretical Computer Science,
Vol. 136,
Issue. ,
p.
173.
Benton, Nick
and
Buchlovsky, Peter
2007.
Semantics of an effect analysis for exceptions.
p.
15.
Holdermans, Stefan
and
Hage, Jurriaan
2010.
On the rôle of minimal typing derivations in type-driven program transformation.
p.
1.
Discussions
No Discussions have been published for this article.