Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Hannan, John
1994.
Operational semantics-directed compilers and machine architectures.
ACM Transactions on Programming Languages and Systems,
Vol. 16,
Issue. 4,
p.
1215.
Hankin, Chris
and
Métayer, Daniel
1994.
Programming Languages and Systems — ESOP '94.
Vol. 788,
Issue. ,
p.
257.
Hankin, Chris
and
Métayer, Daniel
1994.
Static Analysis.
Vol. 864,
Issue. ,
p.
380.
Hannan, John
1995.
Static Analysis.
Vol. 983,
Issue. ,
p.
172.
Douence, Rémi
and
Fradet, Pascal
1995.
Programming Languages: Implementations, Logics and Programs.
Vol. 982,
Issue. ,
p.
27.
Despeyroux, Joëlle
Felty, Amy
and
Hirschowitz, André
1995.
Typed Lambda Calculi and Applications.
Vol. 902,
Issue. ,
p.
124.
Ridoux, Olivier
1995.
Constraint Programming: Basics and Trends.
Vol. 910,
Issue. ,
p.
209.
Hankin, Chris
and
Le Métayer, Daniel
1995.
Lazy type inference and program analysis.
Science of Computer Programming,
Vol. 25,
Issue. 2-3,
p.
219.
Hardin, Thérèse
Maranget, Luc
and
Pagano, Bruno
1996.
Functional back-ends within the lambda-sigma calculus.
ACM SIGPLAN Notices,
Vol. 31,
Issue. 6,
p.
25.
Hardin, Thérèse
Maranget, Luc
and
Pagano, Bruno
1996.
Functional back-ends within the lambda-sigma calculus.
p.
25.
Gordon, A. D.
Hankin, P. D.
and
Lassen, S. B.
1997.
Foundations of Software Technology and Theoretical Computer Science.
Vol. 1346,
Issue. ,
p.
74.
McDowell, R.
and
Miller, D.
1997.
A logic for reasoning with higher-order abstract syntax.
p.
434.
Douence, Rémi
and
Fradet, Pascal
1998.
A systematic study of functional language implementations.
ACM Transactions on Programming Languages and Systems,
Vol. 20,
Issue. 2,
p.
344.
Nadathur, Gopalan
and
Mitchell, Dustin J.
1999.
Automated Deduction — CADE-16.
Vol. 1632,
Issue. ,
p.
287.
Hannan, John
2001.
On Extracting Static Semantics.
Electronic Notes in Theoretical Computer Science,
Vol. 45,
Issue. ,
p.
162.
Nadathur, Gopalan
2001.
Functional and Logic Programming.
Vol. 2024,
Issue. ,
p.
1.
Clements, John
Flatt, Matthew
and
Felleisen, Matthias
2001.
Programming Languages and Systems.
Vol. 2028,
Issue. ,
p.
320.
McDowell, Raymond C.
and
Miller, Dale A.
2002.
Reasoning with higher-order abstract syntax in a logical framework.
ACM Transactions on Computational Logic,
Vol. 3,
Issue. 1,
p.
80.
Hannan, John
2002.
The Essence of Computation.
Vol. 2566,
Issue. ,
p.
157.
McDowell, Raymond
Miller, Dale
and
Palamidessi, Catuscia
2003.
Encoding transition systems in sequent calculus.
Theoretical Computer Science,
Vol. 294,
Issue. 3,
p.
411.