Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Herman, David
and
Meunier, Philippe
2004.
Improving the static analysis of embedded languages via partial evaluation.
ACM SIGPLAN Notices,
Vol. 39,
Issue. 9,
p.
16.
Herman, David
and
Meunier, Philippe
2004.
Improving the static analysis of embedded languages via partial evaluation.
p.
16.
Chakravarty, Manuel M. T.
Keller, Gabriele
and
Jones, Simon Peyton
2005.
Associated type synonyms.
ACM SIGPLAN Notices,
Vol. 40,
Issue. 9,
p.
241.
Chakravarty, Manuel M. T.
Keller, Gabriele
and
Jones, Simon Peyton
2005.
Associated type synonyms.
p.
241.
Silva, Alexandra
and
Visser, Joost
2006.
Strong types for relational databases.
p.
25.
Barbosa, Luís
Cunha, Jácome
and
Visser, Joost
2007.
A type-level approach to component prototyping.
p.
23.
Asai, Kenichi
2009.
On typing delimited continuations: three new solutions to the printf problem.
Higher-Order and Symbolic Computation,
Vol. 22,
Issue. 3,
p.
275.
Rendel, Tillmann
and
Ostermann, Klaus
2010.
Invertible syntax descriptions.
ACM SIGPLAN Notices,
Vol. 45,
Issue. 11,
p.
1.
Rendel, Tillmann
and
Ostermann, Klaus
2010.
Invertible syntax descriptions.
p.
1.
Kiselyov, Oleg
Jones, Simon Peyton
and
Shan, Chung-chieh
2010.
Reflections on the Work of C.A.R. Hoare.
p.
301.
Asai, Kenichi
Kiselyov, Oleg
and
Shan, Chung-chieh
2011.
Functional un|unparsing.
Higher-Order and Symbolic Computation,
Vol. 24,
Issue. 4,
p.
311.
Kiselyov, Oleg
2012.
Generic and Indexed Programming.
Vol. 7470,
Issue. ,
p.
130.
Weitz, Konstantin
Kim, Gene
Srisakaokul, Siwakorn
and
Ernst, Michael D.
2014.
A type system for format strings.
p.
127.
Discussions
No Discussions have been published for this article.