Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Benton, Nick
Kennedy, Andrew
and
Russell, George
1998.
Compiling standard ML to Java bytecodes.
p.
129.
Benton, Nick
Kennedy, Andrew
and
Russell, George
1999.
Compiling standard ML to Java bytecodes.
ACM SIGPLAN Notices,
Vol. 34,
Issue. 1,
p.
129.
Hodges, Wilfrid
2000.
1999 European Summer Meeting of the Association for Symbolic Logic.
Bulletin of Symbolic Logic,
Vol. 6,
Issue. 1,
p.
103.
Alechina, Natasha
Mendler, Michael
de Paiva, Valeria
and
Ritter, Eike
2001.
Computer Science Logic.
Vol. 2142,
Issue. ,
p.
292.
Davies, Rowan
and
Pfenning, Frank
2001.
A modal analysis of staged computation.
Journal of the ACM,
Vol. 48,
Issue. 3,
p.
555.
Fairtlough, Matt
and
Mendler, Michael
2002.
Types for Proofs and Programs.
Vol. 2277,
Issue. ,
p.
63.
Egly, Uwe
2002.
Automated Deduction—CADE-18.
Vol. 2392,
Issue. ,
p.
78.
Benton, Nick
Hughes, John
and
Moggi, Eugenio
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
42.
Goldblatt, Robert
2003.
Mathematical modal logic: A view of its evolution.
Journal of Applied Logic,
Vol. 1,
Issue. 5-6,
p.
309.
Uustalu, Tarmo
2003.
Types for Proofs and Programs.
Vol. 2646,
Issue. ,
p.
299.
Lindley, Sam
and
Stark, Ian
2005.
Typed Lambda Calculi and Applications.
Vol. 3461,
Issue. ,
p.
262.
Goldblatt, Robert
2006.
Logic and the Modalities in the Twentieth Century.
Vol. 7,
Issue. ,
p.
1.
Alechina, Natasha
and
Shkatov, Dmitry
2006.
A general method for proving decidability of intuitionistic modal logics.
Journal of Applied Logic,
Vol. 4,
Issue. 3,
p.
219.
Lasota, Sławomir
Nowak, David
and
Zhang, Yu
2007.
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues.
Vol. 4435,
Issue. ,
p.
223.
Garg, Deepak
and
Abadi, Martín
2008.
Foundations of Software Science and Computational Structures.
Vol. 4962,
Issue. ,
p.
216.
THIELECKE, HAYO
2009.
Control effects as a modality.
Journal of Functional Programming,
Vol. 19,
Issue. 1,
p.
17.
Abadi, Martín
2009.
Foundations of Security Analysis and Design V.
Vol. 5705,
Issue. ,
p.
145.
Goncharov, Sergey
Schröder, Lutz
and
Mossakowski, Till
2009.
Algebra and Coalgebra in Computer Science.
Vol. 5728,
Issue. ,
p.
18.
Ranalter, Kurt
2010.
Embedding Constructive K into Intuitionistic K.
Electronic Notes in Theoretical Computer Science,
Vol. 262,
Issue. ,
p.
205.
Mossakowski, Till
Schröder, Lutz
and
Goncharov, Sergey
2010.
A generic complete dynamic logic for reasoning about purity and effects.
Formal Aspects of Computing,
Vol. 22,
Issue. 3,
p.
363.
Discussions
No Discussions have been published for this article.