Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Silva, Alexandra
and
Visser, Joost
2006.
Strong types for relational databases.
p.
25.
Silva, Paulo F.
and
Oliveira, José N.
2008.
'Galculator'.
p.
44.
Thiemann, René
and
Sternagel, Christian
2009.
Theorem Proving in Higher Order Logics.
Vol. 5674,
Issue. ,
p.
452.
Liu, Hai
Cheng, Eric
and
Hudak, Paul
2009.
Causal commutative arrows and their optimization.
ACM SIGPLAN Notices,
Vol. 44,
Issue. 9,
p.
35.
Liu, Hai
Cheng, Eric
and
Hudak, Paul
2009.
Causal commutative arrows and their optimization.
p.
35.
Voellmy, Andreas
and
Hudak, Paul
2009.
Domain-Specific Languages.
Vol. 5658,
Issue. ,
p.
211.
Cunha, Jácome
Saraiva, João
and
Visser, Joost
2009.
From spreadsheets to relational databases and back.
p.
179.
Weirich, Stephanie
and
Casinghino, Chris
2010.
Arity-generic datatype-generic programming.
p.
15.
Weirich, Stephanie
Vytiniotis, Dimitrios
Peyton Jones, Simon
and
Zdancewic, Steve
2011.
Generative type abstraction and type-level computation.
p.
227.
Schrijvers, Tom
and
Oliveira, Bruno C.d.S.
2011.
Monads, zippers and views.
p.
32.
Schrijvers, Tom
and
Oliveira, Bruno C.d.S.
2011.
Monads, zippers and views.
ACM SIGPLAN Notices,
Vol. 46,
Issue. 9,
p.
32.
Weirich, Stephanie
Vytiniotis, Dimitrios
Peyton Jones, Simon
and
Zdancewic, Steve
2011.
Generative type abstraction and type-level computation.
ACM SIGPLAN Notices,
Vol. 46,
Issue. 1,
p.
227.
Hardin, David
Slind, Konrad
Whalen, Michael
and
Pham, Tuan-Hung
2012.
Tools and Algorithms for the Construction and Analysis of Systems.
Vol. 7214,
Issue. ,
p.
18.
Hardin, David S.
Slind, Konrad L.
Whalen, Michael W.
and
Pham, Tuang-Hung
2012.
A DSL for cross-domain security.
p.
53.
Winograd-Cort, Daniel
Liu, Hai
and
Hudak, Paul
2012.
Practical Aspects of Declarative Languages.
Vol. 7149,
Issue. ,
p.
227.
Hardin, David S.
Slind, Konrad L.
Whalen, Michael W.
and
Pham, Tuang-Hung
2012.
A DSL for cross-domain security.
ACM SIGAda Ada Letters,
Vol. 32,
Issue. 3,
p.
53.
Quick, Donya
and
Hudak, Paul
2013.
Grammar-based automated music composition in Haskell.
p.
59.
Baaij, Christiaan
and
Kuper, Jan
2014.
Trends in Functional Programming.
Vol. 8322,
Issue. ,
p.
17.
Hudak, Paul
Quick, Donya
Santolucito, Mark
and
Winograd-Cort, Daniel
2015.
Real-time interactive music in Haskell.
p.
15.
Smola, Filip
and
Fleuriot, Jacques D.
2024.
Linear Resources in Isabelle/HOL.
Journal of Automated Reasoning,
Vol. 68,
Issue. 2,
Discussions
No Discussions have been published for this article.