Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Luo, Zhaohui
2009.
Types for Proofs and Programs.
Vol. 5497,
Issue. ,
p.
237.
Swamy, Nikhil
Hicks, Michael
and
Bierman, Gavin M.
2009.
A theory of typed coercions and its applications.
p.
329.
Swamy, Nikhil
Hicks, Michael
and
Bierman, Gavin M.
2009.
A theory of typed coercions and its applications.
ACM SIGPLAN Notices,
Vol. 44,
Issue. 9,
p.
329.
Traytel, Dmitriy
Berghofer, Stefan
and
Nipkow, Tobias
2011.
Programming Languages and Systems.
Vol. 7078,
Issue. ,
p.
89.
Swamy, Nikhil
Guts, Nataliya
Leijen, Daan
and
Hicks, Michael
2011.
Lightweight monadic programming in ML.
p.
15.
Swamy, Nikhil
Guts, Nataliya
Leijen, Daan
and
Hicks, Michael
2011.
Lightweight monadic programming in ML.
ACM SIGPLAN Notices,
Vol. 46,
Issue. 9,
p.
15.
Vytiniotis, Dimitrios
Peyton Jones, Simon
and
Magalhães, José Pedro
2012.
Equality proofs and deferred type errors.
p.
341.
Vytiniotis, Dimitrios
Peyton Jones, Simon
and
Magalhães, José Pedro
2012.
Equality proofs and deferred type errors.
ACM SIGPLAN Notices,
Vol. 47,
Issue. 9,
p.
341.
Gvero, Tihomir
Kuncak, Viktor
Kuraj, Ivan
and
Piskac, Ruzica
2013.
Complete completion using types and weights.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 6,
p.
27.
Gvero, Tihomir
Kuncak, Viktor
Kuraj, Ivan
and
Piskac, Ruzica
2013.
Complete completion using types and weights.
p.
27.
Obua, Steven
Fleuriot, Jacques
Scott, Phil
and
Aspinall, David
2015.
Intelligent Computer Mathematics.
Vol. 9150,
Issue. ,
p.
87.