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.
Richard-Foy, Julien
Barais, Olivier
and
Jézéquel, Jean-Marc
2014.
Web Engineering.
Vol. 8541,
Issue. ,
p.
308.
Copello, Ernesto
Tasistro, Álvaro
and
Bianchi, Bruno
2014.
Programming Languages.
Vol. 8771,
Issue. ,
p.
62.
Setzer, Anton
Abel, Andreas
Pientka, Brigitte
and
Thibodeau, David
2014.
Rewriting and Typed Lambda Calculi.
Vol. 8560,
Issue. ,
p.
31.
Cockx, Jesper
Devriese, Dominique
and
Piessens, Frank
2014.
Pattern matching without K.
p.
257.
Adams, Michael D.
and
Ağacan, Ömer S.
2014.
Indentation-sensitive parsing for Parsec.
p.
121.
Kotelnikov, Evgenii
2014.
Type-directed language extension for effectful computations.
p.
35.
Christiansen, David Raymond
2014.
Type-Directed Elaboration of Quasiquotations.
p.
1.
Cockx, Jesper
Devriese, Dominique
and
Piessens, Frank
2014.
Pattern matching without K.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 9,
p.
257.
Bahr, Patrick
2014.
Composing and decomposing data types.
p.
71.
Ferreira, Francisco
and
Pientka, Brigitte
2014.
Bidirectional Elaboration of Dependently Typed Programs.
p.
161.
Cockx, Jesper
Piessens, Frank
and
Devriese, Dominique
2014.
Programming Languages and Systems.
Vol. 8410,
Issue. ,
p.
87.
Nabi, Syed Waqar
and
Vanderbauwhede, Wim
2015.
Using type transformations to generate program variants for FPGA design space exploration.
p.
1.
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.
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.
Serrano, Alejandro
Hage, Jurriaan
and
Bahr, Patrick
2015.
Type families with class, type classes with family.
p.
129.
Malecha, Gregory
and
Wisnesky, Ryan
2015.
Using dependent types and tactics to enable semantic optimization of language-integrated queries.
p.
49.
Brady, Edwin
2015.
Central European Functional Programming School.
Vol. 8606,
Issue. ,
p.
115.
Adams, Michael D.
and
Ağacan, Ömer S.
2015.
Indentation-sensitive parsing for Parsec.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 12,
p.
121.
Discussions
No Discussions have been published for this article.