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.
Copello, Ernesto
Tasistro, Álvaro
and
Bianchi, Bruno
2014.
Programming Languages.
Vol. 8771,
Issue. ,
p.
62.
Richard-Foy, Julien
Barais, Olivier
and
Jézéquel, Jean-Marc
2014.
Web Engineering.
Vol. 8541,
Issue. ,
p.
308.
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.
p.
257.
Cockx, Jesper
Piessens, Frank
and
Devriese, Dominique
2014.
Programming Languages and Systems.
Vol. 8410,
Issue. ,
p.
87.
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.
Setzer, Anton
Abel, Andreas
Pientka, Brigitte
and
Thibodeau, David
2014.
Rewriting and Typed Lambda Calculi.
Vol. 8560,
Issue. ,
p.
31.
Kotelnikov, Evgenii
2014.
Type-directed language extension for effectful computations.
p.
35.
Ferreira, Francisco
and
Pientka, Brigitte
2014.
Bidirectional Elaboration of Dependently Typed Programs.
p.
161.
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.
Claret, Guillaume
and
Regis-Gianas, Yann
2015.
Mechanical Verification of Interactive Programs Specified by Use Cases.
p.
61.
Campos, Joana
and
Vasconcelos, Vasco T.
2015.
Imperative objects with dependent types.
p.
1.
Nabi, Syed Waqar
and
Vanderbauwhede, Wim
2015.
Using type transformations to generate program variants for FPGA design space exploration.
p.
1.
Serrano, Alejandro
Hage, Jurriaan
and
Bahr, Patrick
2015.
Type families with class, type classes with family.
p.
129.
Brady, Edwin
2015.
Trends in Functional Programming.
Vol. 8843,
Issue. ,
p.
18.
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.