Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Tse, S.
and
Zdancewic, S.
2004.
Run-time principals in information-flow type systems.
p.
179.
Kennedy, Andrew
and
Russo, Claudio V.
2005.
Generalized algebraic data types and object-oriented programming.
ACM SIGPLAN Notices,
Vol. 40,
Issue. 10,
p.
21.
Weirich, Stephanie
and
Huang, Liang
2005.
A Design for Type-Directed Programming in Java.
Electronic Notes in Theoretical Computer Science,
Vol. 138,
Issue. 2,
p.
117.
Vytiniotis, Dimitrios
Washburn, Geoffrey
and
Weirich, Stephanie
2005.
An open and shut typecase.
p.
13.
Kennedy, Andrew
and
Russo, Claudio V.
2005.
Generalized algebraic data types and object-oriented programming.
p.
21.
Weirich, Stephanie
2006.
RepLib.
p.
1.
Pottier, François
and
Régis-Gianas, Yann
2006.
Stratified type inference for generalized algebraic data types.
ACM SIGPLAN Notices,
Vol. 41,
Issue. 1,
p.
232.
Pottier, François
and
Régis-Gianas, Yann
2006.
Stratified type inference for generalized algebraic data types.
p.
232.
Tse, Stephen
and
Zdancewic, Steve
2007.
Run-time principals in information-flow type systems.
ACM Transactions on Programming Languages and Systems,
Vol. 30,
Issue. 1,
p.
6.
Simonet, Vincent
and
Pottier, François
2007.
A constraint-based approach to guarded algebraic data types.
ACM Transactions on Programming Languages and Systems,
Vol. 29,
Issue. 1,
p.
1.
Rossberg, Andreas
Tack, Guido
and
Kornstaedt, Leif
2007.
Status report.
p.
25.
Vytiniotis, Dimitrios
and
Weirich, Stephanie
2007.
Free Theorems and Runtime Type Representations.
Electronic Notes in Theoretical Computer Science,
Vol. 173,
Issue. ,
p.
357.
Crary, Karl
2007.
Sound and complete elimination of singleton kinds.
ACM Transactions on Computational Logic,
Vol. 8,
Issue. 2,
p.
8.
Altenkirch, Thorsten
McBride, Conor
and
Morris, Peter
2007.
Datatype-Generic Programming.
Vol. 4719,
Issue. ,
p.
209.
Liu, Yu David
Skalka, Christian
and
Smith, Scott
2009.
Type-specialized staged programming with process separation.
p.
49.
Stump, Aaron
2009.
Directly reflective meta-programming.
Higher-Order and Symbolic Computation,
Vol. 22,
Issue. 2,
p.
115.
VYTINIOTIS, DIMITRIOS
and
WEIRICH, STEPHANIE
2010.
Parametricity, type equality, and higher-order polymorphism.
Journal of Functional Programming,
Vol. 20,
Issue. 2,
p.
175.
Monnier, Stefan
and
Haguenauer, David
2010.
Singleton types here, singleton types there, singleton types everywhere.
p.
1.
Liu, Yu David
Skalka, Christian
and
Smith, Scott F.
2011.
Type-specialized staged programming with process separation.
Higher-Order and Symbolic Computation,
Vol. 24,
Issue. 4,
p.
341.
Tov, Jesse A.
and
Pucella, Riccardo
2011.
Practical affine types.
p.
447.
Discussions
No Discussions have been published for this article.