Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Lindley, Sam
2008.
Many holes in hindley-milner.
p.
59.
Xi, Hongwei
2008.
Types for Proofs and Programs.
Vol. 4941,
Issue. ,
p.
188.
Mu, Shin-Cheng
Ko, Hsiang-Shang
and
Jansson, Patrik
2008.
Mathematics of Program Construction.
Vol. 5133,
Issue. ,
p.
268.
MU, SHIN-CHENG
KO, HSIANG-SHANG
and
JANSSON, PATRIK
2009.
Algebra of programming in Agda: Dependent types for relational program derivation.
Journal of Functional Programming,
Vol. 19,
Issue. 5,
p.
545.
Zee, Karen
Kuncak, Viktor
and
Rinard, Martin C.
2009.
An integrated proof language for imperative programs.
p.
338.
Zee, Karen
Kuncak, Viktor
and
Rinard, Martin C.
2009.
An integrated proof language for imperative programs.
ACM SIGPLAN Notices,
Vol. 44,
Issue. 6,
p.
338.
Keller, Gabriele
Chakravarty, Manuel M.T.
Leshchinskiy, Roman
Peyton Jones, Simon
and
Lippmeier, Ben
2010.
Regular, shape-polymorphic, parallel arrays in Haskell.
p.
261.
Danish, Matthew
and
Xi, Hongwei
2010.
Operating system development with ATS.
p.
9.
Dal Lago, Ugo
Hofmann, Martin
and
Curien, Pierre-Louis
2010.
Bounded Linear Logic, Revisited.
Logical Methods in Computer Science,
Vol. 6,
Issue. 4,
Chlipala, Adam
2010.
Ur.
ACM SIGPLAN Notices,
Vol. 45,
Issue. 6,
p.
122.
Keller, Gabriele
Chakravarty, Manuel M.T.
Leshchinskiy, Roman
Peyton Jones, Simon
and
Lippmeier, Ben
2010.
Regular, shape-polymorphic, parallel arrays in Haskell.
ACM SIGPLAN Notices,
Vol. 45,
Issue. 9,
p.
261.
Sheard, Tim
Stump, Aaron
and
Weirich, Stephanie
2010.
Language-based verification will change the world.
p.
343.
Chlipala, Adam
2010.
Ur.
p.
122.
Pilkiewicz, Alexandre
and
Pottier, François
2011.
The essence of monotonic state.
p.
73.
Baltopoulos, Ioannis G.
Borgström, Johannes
and
Gordon, Andrew D.
2011.
ECOOP 2011 – Object-Oriented Programming.
Vol. 6813,
Issue. ,
p.
484.
Dal Lago, Ugo
and
Gaboardi, Marco
2011.
Linear Dependent Types and Relative Completeness.
p.
133.
Thiemann, Peter
and
Chakravarty, Manuel M. T.
2013.
Implementation and Application of Functional Languages.
Vol. 8241,
Issue. ,
p.
174.
Vytiniotis, Dimitrios
Peyton Jones, Simon
Claessen, Koen
and
Rosén, Dan
2013.
HALO.
p.
431.
Vytiniotis, Dimitrios
Peyton Jones, Simon
Claessen, Koen
and
Rosén, Dan
2013.
HALO.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 1,
p.
431.
Shi, Rui
and
Xi, Hongwei
2013.
A linear type system for multicore programming in ATS.
Science of Computer Programming,
Vol. 78,
Issue. 8,
p.
1176.
Discussions
No Discussions have been published for this article.