Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Christiansen, David Raymond
2013.
Dependent type providers.
p.
25.
Fowler, Simon
and
Brady, Edwin
2013.
Dependent Types for Safe and Secure Web Programming.
p.
49.
Cockx, Jesper
Devriese, Dominique
and
Piessens, Frank
2014.
Pattern matching without K.
p.
257.
Kotelnikov, Evgenii
2014.
Type-directed language extension for effectful computations.
p.
35.
Richard-Foy, Julien
Barais, Olivier
and
Jézéquel, Jean-Marc
2014.
Web Engineering.
Vol. 8541,
Issue. ,
p.
308.
Cockx, Jesper
Piessens, Frank
and
Devriese, Dominique
2014.
Programming Languages and Systems.
Vol. 8410,
Issue. ,
p.
87.
Adams, Michael D.
and
Ağacan, Ömer S.
2014.
Indentation-sensitive parsing for Parsec.
p.
121.
Cockx, Jesper
Devriese, Dominique
and
Piessens, Frank
2014.
Pattern matching without K.
ACM SIGPLAN Notices,
Vol. 49,
Issue. 9,
p.
257.
Setzer, Anton
Abel, Andreas
Pientka, Brigitte
and
Thibodeau, David
2014.
Rewriting and Typed Lambda Calculi.
Vol. 8560,
Issue. ,
p.
31.
Ferreira, Francisco
and
Pientka, Brigitte
2014.
Bidirectional Elaboration of Dependently Typed Programs.
p.
161.
Bahr, Patrick
2014.
Composing and decomposing data types.
p.
71.
Copello, Ernesto
Tasistro, Álvaro
and
Bianchi, Bruno
2014.
Programming Languages.
Vol. 8771,
Issue. ,
p.
62.
Christiansen, David Raymond
2014.
Type-Directed Elaboration of Quasiquotations.
p.
1.
Brady, Edwin
2015.
Trends in Functional Programming.
Vol. 8843,
Issue. ,
p.
18.
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.
Nabi, Syed Waqar
and
Vanderbauwhede, Wim
2015.
Using type transformations to generate program variants for FPGA design space exploration.
p.
1.
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.
p.
55.
Serrano, Alejandro
Hage, Jurriaan
and
Bahr, Patrick
2015.
Type families with class, type classes with family.
p.
129.
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.
Discussions
No Discussions have been published for this article.