Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Sheard, Tim
and
Jones, Simon Peyton
2002.
Template meta-programming for Haskell.
p.
1.
Neubauer, Matthias
Thiemann, Peter
Gasbichler, Martin
and
Sperber, Michael
2002.
Functional logic overloading.
ACM SIGPLAN Notices,
Vol. 37,
Issue. 1,
p.
233.
Okasaki, Chris
2002.
Techniques for embedding postfix languages in Haskell.
p.
105.
Sheard, Tim
and
Jones, Simon Peyton
2002.
Template meta-programming for Haskell.
ACM SIGPLAN Notices,
Vol. 37,
Issue. 12,
p.
60.
Neubauer, Matthias
Thiemann, Peter
Gasbichler, Martin
and
Sperber, Michael
2002.
Functional logic overloading.
p.
233.
Pottier, François
and
Gauthier, Nadji
2004.
Polymorphic typed defunctionalization.
ACM SIGPLAN Notices,
Vol. 39,
Issue. 1,
p.
89.
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.
Monin, Jean-François
2004.
Theorem Proving in Higher Order Logics.
Vol. 3223,
Issue. ,
p.
217.
Yang, Zhe
2004.
Encoding types in ML-like languages.
Theoretical Computer Science,
Vol. 315,
Issue. 1,
p.
151.
Pottier, François
and
Gauthier, Nadji
2004.
Polymorphic typed defunctionalization.
p.
89.
Oliveira, Bruno C. d. S.
and
Gibbons, Jeremy
2005.
TypeCase.
p.
98.
Chakravarty, Manuel M. T.
Keller, Gabriele
and
Jones, Simon Peyton
2005.
Associated type synonyms.
p.
241.
Chakravarty, Manuel M. T.
Keller, Gabriele
and
Jones, Simon Peyton
2005.
Associated type synonyms.
ACM SIGPLAN Notices,
Vol. 40,
Issue. 9,
p.
241.
Balat, Vincent
2006.
Ocsigen.
p.
84.
Pottier, François
and
Gauthier, Nadji
2006.
Polymorphic typed defunctionalization and concretization.
Higher-Order and Symbolic Computation,
Vol. 19,
Issue. 1,
p.
125.
Gregor, Douglas
and
Järvi, Jaakko
2007.
Variadic templates for C++.
p.
1101.
XI, HONGWEI
2007.
Dependent ML An approach to practical programming with dependent types.
Journal of Functional Programming,
Vol. 17,
Issue. 2,
p.
215.
Blume, Matthias
Rainey, Michael
and
Reppy, John
2008.
Calling variadic functions from a strongly-typed language.
p.
47.
Lindley, Sam
2008.
Many holes in hindley-milner.
p.
59.
Discussions
No Discussions have been published for this article.