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.
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.
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.
Chlipala, Adam
2010.
Ur.
ACM SIGPLAN Notices,
Vol. 45,
Issue. 6,
p.
122.
Dal Lago, Ugo
Hofmann, Martin
and
Curien, Pierre-Louis
2010.
Bounded Linear Logic, Revisited.
Logical Methods in Computer Science,
Vol. 6,
Issue. 4,
Danish, Matthew
and
Xi, Hongwei
2010.
Operating system development with ATS.
p.
9.
Keller, Gabriele
Chakravarty, Manuel M.T.
Leshchinskiy, Roman
Peyton Jones, Simon
and
Lippmeier, Ben
2010.
Regular, shape-polymorphic, parallel arrays in Haskell.
p.
261.
Chlipala, Adam
2010.
Ur.
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.
Pilkiewicz, Alexandre
and
Pottier, François
2011.
The essence of monotonic state.
p.
73.
Dal Lago, Ugo
and
Gaboardi, Marco
2011.
Linear Dependent Types and Relative Completeness.
p.
133.
Baltopoulos, Ioannis G.
Borgström, Johannes
and
Gordon, Andrew D.
2011.
ECOOP 2011 – Object-Oriented Programming.
Vol. 6813,
Issue. ,
p.
484.
Vytiniotis, Dimitrios
Peyton Jones, Simon
Claessen, Koen
and
Rosén, Dan
2013.
HALO.
p.
431.
Thiemann, Peter
and
Chakravarty, Manuel M. T.
2013.
Implementation and Application of Functional Languages.
Vol. 8241,
Issue. ,
p.
174.
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.
Vytiniotis, Dimitrios
Peyton Jones, Simon
Claessen, Koen
and
Rosén, Dan
2013.
HALO.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 1,
p.
431.
Discussions
No Discussions have been published for this article.