Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Meijer, Erik
2007.
Confessions of a used programming language salesman.
ACM SIGPLAN Notices,
Vol. 42,
Issue. 10,
p.
677.
Kiselyov, Oleg
and
Shan, Chung-chieh
2007.
Lightweight Static Capabilities.
Electronic Notes in Theoretical Computer Science,
Vol. 174,
Issue. 7,
p.
79.
Meijer, Erik
2007.
Confessions of a used programming language salesman.
p.
677.
Heller, Alec
and
Tov, Jesse A.
2008.
Caml-Shcaml.
p.
79.
MINSKY, YARON
and
WEEKS, STEPHEN
2008.
Caml trading – experiences with functional programming on Wall Street.
Journal of Functional Programming,
Vol. 18,
Issue. 04,
Rudolph, Johannes
and
Thiemann, Peter
2010.
Mnemonics: type-safe bytecode generation at run time.
Higher-Order and Symbolic Computation,
Vol. 23,
Issue. 3,
p.
371.
Rudolph, Johannes
and
Thiemann, Peter
2010.
Mnemonics.
p.
15.
Kiselyov, Oleg
Jones, Simon Peyton
and
Shan, Chung-chieh
2010.
Reflections on the Work of C.A.R. Hoare.
p.
301.
Abe, Akinori
and
Sumii, Eijiro
2015.
A Simple and Practical Linear Algebra Library Interface with Static Size Checking.
Electronic Proceedings in Theoretical Computer Science,
Vol. 198,
Issue. ,
p.
1.
Noonan, Matt
2018.
Ghosts of departed proofs (functional pearl).
ACM SIGPLAN Notices,
Vol. 53,
Issue. 7,
p.
119.
Noonan, Matt
2018.
Ghosts of departed proofs (functional pearl).
p.
119.
Castegren, Elias
and
Fernandez-Reyes, Kiko
2019.
Developing a monadic type checker for an object-oriented language: an experience report.
p.
184.
Morihata, Akimasa
2019.
Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning.
Proceedings of the ACM on Programming Languages,
Vol. 3,
Issue. ICFP,
p.
1.
Yanovski, Joshua
Dang, Hoang-Hai
Jung, Ralf
and
Dreyer, Derek
2021.
GhostCell: separating permissions from data in Rust.
Proceedings of the ACM on Programming Languages,
Vol. 5,
Issue. ICFP,
p.
1.
MORIHATA, AKIMASA
2021.
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study.
Journal of Functional Programming,
Vol. 31,
Issue. ,
Discussions
No Discussions have been published for this article.