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.
MINSKY, YARON
and
WEEKS, STEPHEN
2008.
Caml trading – experiences with functional programming on Wall Street.
Journal of Functional Programming,
Vol. 18,
Issue. 04,
Heller, Alec
and
Tov, Jesse A.
2008.
Caml-Shcaml.
p.
79.
Rudolph, Johannes
and
Thiemann, Peter
2010.
Mnemonics.
p.
15.
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.
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.
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.
Castegren, Elias
and
Fernandez-Reyes, Kiko
2019.
Developing a monadic type checker for an object-oriented language: an experience report.
p.
184.
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.