Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Ancona, D.
and
Moggi, E.
2005.
Formal Methods for Components and Objects.
Vol. 3657,
Issue. ,
p.
222.
Kim, Ik-Soon
Yi, Kwangkeun
and
Calcagno, Cristiano
2006.
A polymorphic modal type system for lisp-like multi-staged languages.
p.
257.
Kim, Ik-Soon
Yi, Kwangkeun
and
Calcagno, Cristiano
2006.
A polymorphic modal type system for lisp-like multi-staged languages.
ACM SIGPLAN Notices,
Vol. 41,
Issue. 1,
p.
257.
Viera, Marcos
and
Pardo, Alberto
2006.
A multi-stage language with intensional analysis.
p.
11.
Carette, Jacques
Kiselyov, Oleg
and
Shan, Chung-chieh
2007.
Programming Languages and Systems.
Vol. 4807,
Issue. ,
p.
222.
Nanevski, Aleksandar
Pfenning, Frank
and
Pientka, Brigitte
2008.
Contextual modal type theory.
ACM Transactions on Computational Logic,
Vol. 9,
Issue. 3,
p.
1.
Stump, Aaron
2009.
Directly reflective meta-programming.
Higher-Order and Symbolic Computation,
Vol. 22,
Issue. 2,
p.
115.
Tsukada, Takeshi
and
Igarashi, Atsushi
2009.
Typed Lambda Calculi and Applications.
Vol. 5608,
Issue. ,
p.
341.
CARETTE, JACQUES
KISELYOV, OLEG
and
SHAN, CHUNG-CHIEH
2009.
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages.
Journal of Functional Programming,
Vol. 19,
Issue. 5,
p.
509.
Kong, Soonho
Choi, Wontae
and
Yi, Kwangkeun
2009.
Abstract parsing for two-staged languages with concatenation.
p.
109.
Tsukada, Takeshi
and
Igarashi, Atsushi
2010.
A Logical Foundation for Environment Classifiers.
Logical Methods in Computer Science,
Vol. Volume 6, Issue 4,
Issue. ,
Kong, Soonho
Choi, Wontae
and
Yi, Kwangkeun
2010.
Abstract parsing for two-staged languages with concatenation.
ACM SIGPLAN Notices,
Vol. 45,
Issue. 2,
p.
109.
Dezani-Ciancaglini, Mariangiola
Giannini, Paola
and
Zucca, Elena
2011.
Intersection types for unbind and rebind.
Electronic Proceedings in Theoretical Computer Science,
Vol. 45,
Issue. ,
p.
45.
Choi, Wontae
Aktemur, Baris
Yi, Kwangkeun
and
Tatsuta, Makoto
2011.
Static analysis of multi-staged programs via unstaging translation.
p.
81.
Kojima, Kensuke
and
Igarashi, Atsushi
2011.
Constructive linear-time temporal logic: Proof systems and Kripke semantics.
Information and Computation,
Vol. 209,
Issue. 12,
p.
1491.
Choi, Wontae
Aktemur, Baris
Yi, Kwangkeun
and
Tatsuta, Makoto
2011.
Static analysis of multi-staged programs via unstaging translation.
ACM SIGPLAN Notices,
Vol. 46,
Issue. 1,
p.
81.
Ancona, Davide
Giannini, Paola
and
Zucca, Elena
2013.
Reconciling positional and nominal binding.
Electronic Proceedings in Theoretical Computer Science,
Vol. 121,
Issue. ,
p.
81.
Gabbay, Murdoch J.
and
Nanevski, Aleksandar
2013.
Denotation of contextual modal type theory (CMTT): Syntax and meta-programming.
Journal of Applied Logic,
Vol. 11,
Issue. 1,
p.
1.
Nunes-Harwitt, Arthur
2014.
Eager Evaluation Isn't Eager Enough A Transformation Based Approach to Semantics-Directed Code Generation.
p.
79.
Nunes-Harwitt, Arthur
2014.
From Naïve to Norvig On Deriving a PROLOG Compiler.
p.
70.
Discussions
No Discussions have been published for this article.