Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Sewell, Peter
Nardelli, Francesco Zappa
Owens, Scott
Peskine, Gilles
Ridge, Thomas
Sarkar, Susmit
and
Strniša, Rok
2007.
Ott.
p.
1.
Sewell, Peter
Nardelli, Francesco Zappa
Owens, Scott
Peskine, Gilles
Ridge, Thomas
Sarkar, Susmit
and
Strniša, Rok
2007.
Ott.
ACM SIGPLAN Notices,
Vol. 42,
Issue. 9,
p.
1.
Mosses, Peter D.
2009.
Component-based semantics.
p.
3.
Hage, Jurriaan
and
Heeren, Bastiaan
2009.
Strategies for Solving Constraints in Type and Effect Systems.
Electronic Notes in Theoretical Computer Science,
Vol. 236,
Issue. ,
p.
163.
Mosses, Peter D.
and
New, Mark J.
2009.
Implicit Propagation in Structural Operational Semantics.
Electronic Notes in Theoretical Computer Science,
Vol. 229,
Issue. 4,
p.
49.
Ellison, Chucky
Şerbănuţă, Traian Florin
and
Roşu, Grigore
2009.
Recent Trends in Algebraic Development Techniques.
Vol. 5486,
Issue. ,
p.
135.
van den Brand, M. G. J.
van der Meer, A. P.
Serebrenik, A.
and
Hofkamp, A. T.
2010.
Formally specified type checkers for domain specific languages.
p.
1.
SEWELL, PETER
NARDELLI, FRANCESCO ZAPPA
OWENS, SCOTT
PESKINE, GILLES
RIDGE, THOMAS
SARKAR, SUSMIT
and
STRNIŠA, ROK
2010.
Ott: Effective tool support for the working semanticist.
Journal of Functional Programming,
Vol. 20,
Issue. 1,
p.
71.
Delaware, Benjamin
Cook, William
and
Batory, Don
2011.
Product lines of theorems.
p.
595.
Delaware, Benjamin
Cook, William
and
Batory, Don
2011.
Product lines of theorems.
ACM SIGPLAN Notices,
Vol. 46,
Issue. 10,
p.
595.
Delaware, Benjamin
d. S. Oliveira, Bruno C.
and
Schrijvers, Tom
2013.
Meta-theory à la carte.
p.
207.
Delaware, Benjamin
d. S. Oliveira, Bruno C.
and
Schrijvers, Tom
2013.
Meta-theory à la carte.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 1,
p.
207.
Lerner, Benjamin S.
Politz, Joe Gibbs
Guha, Arjun
and
Krishnamurthi, Shriram
2013.
TeJaS.
p.
1.
Ortin, Francisco
Zapico, Daniel
Quiroga, Jose
and
Garcia, Miguel
2014.
Automatic Generation of Object-Oriented Type Checkers.
Lecture Notes on Software Engineering,
Vol. 2,
Issue. 4,
p.
288.
Lerner, Benjamin S.
Politz, Joe Gibbs
Guha, Arjun
and
Krishnamurthi, Shriram
2014.
TeJaS.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 2,
p.
1.
Churchill, Martin
Mosses, Peter D.
and
Torrini, Paolo
2014.
Reusable components of semantic specifications.
p.
145.
Churchill, Martin
Mosses, Peter D.
Sculthorpe, Neil
and
Torrini, Paolo
2015.
Transactions on Aspect-Oriented Software Development XII.
Vol. 8989,
Issue. ,
p.
132.
Omar, Cyrus
and
Aldrich, Jonathan
2016.
Programmable semantic fragments: the design and implementation of typy.
p.
81.
Omar, Cyrus
and
Aldrich, Jonathan
2017.
Programmable semantic fragments: the design and implementation of typy.
ACM SIGPLAN Notices,
Vol. 52,
Issue. 3,
p.
81.
Chang, Stephen
Knauth, Alex
and
Greenman, Ben
2017.
Type systems as macros.
p.
694.
Discussions
No Discussions have been published for this article.