Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Fowler, Simon
and
Brady, Edwin
2013.
Dependent Types for Safe and Secure Web Programming.
p.
49.
Christiansen, David Raymond
2013.
Dependent type providers.
p.
25.
Bahr, Patrick
2014.
Composing and decomposing data types.
p.
71.
Christiansen, David Raymond
2014.
Type-Directed Elaboration of Quasiquotations.
p.
1.
Richard-Foy, Julien
Barais, Olivier
and
Jézéquel, Jean-Marc
2014.
Web Engineering.
Vol. 8541,
Issue. ,
p.
308.
Ferreira, Francisco
and
Pientka, Brigitte
2014.
Bidirectional Elaboration of Dependently Typed Programs.
p.
161.
Cockx, Jesper
Devriese, Dominique
and
Piessens, Frank
2014.
Pattern matching without K.
p.
257.
Cockx, Jesper
Piessens, Frank
and
Devriese, Dominique
2014.
Programming Languages and Systems.
Vol. 8410,
Issue. ,
p.
87.
Cockx, Jesper
Devriese, Dominique
and
Piessens, Frank
2014.
Pattern matching without K.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 9,
p.
257.
Copello, Ernesto
Tasistro, Álvaro
and
Bianchi, Bruno
2014.
Programming Languages.
Vol. 8771,
Issue. ,
p.
62.
Kotelnikov, Evgenii
2014.
Type-directed language extension for effectful computations.
p.
35.
Setzer, Anton
Abel, Andreas
Pientka, Brigitte
and
Thibodeau, David
2014.
Rewriting and Typed Lambda Calculi.
Vol. 8560,
Issue. ,
p.
31.
Adams, Michael D.
and
Ağacan, Ömer S.
2014.
Indentation-sensitive parsing for Parsec.
p.
121.
Barthe, Gilles
Gaboardi, Marco
Gallego Arias, Emilio Jesús
Hsu, Justin
Roth, Aaron
and
Strub, Pierre-Yves
2015.
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy.
ACM SIGPLAN Notices,
Vol. 50,
Issue. 1,
p.
55.
Karachalias, Georgios
Schrijvers, Tom
Vytiniotis, Dimitrios
and
Jones, Simon Peyton
2015.
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness.
ACM SIGPLAN Notices,
Vol. 50,
Issue. 9,
p.
424.
Serrano, Alejandro
Hage, Jurriaan
and
Bahr, Patrick
2015.
Type families with class, type classes with family.
p.
129.
Brady, Edwin
2015.
Central European Functional Programming School.
Vol. 8606,
Issue. ,
p.
115.
Kokke, Wen
and
Swierstra, Wouter
2015.
Mathematics of Program Construction.
Vol. 9129,
Issue. ,
p.
276.
Campos, Joana
and
Vasconcelos, Vasco T.
2015.
Imperative objects with dependent types.
p.
1.
Brady, Edwin
2015.
Trends in Functional Programming.
Vol. 8843,
Issue. ,
p.
18.
Discussions
No Discussions have been published for this article.