Author:
Pizani Flor João Paulo,Swierstra Wouter
Publisher
Springer International Publishing
Reference17 articles.
1. Atkey, R., Lindley, S., Yallop, J.: Unembedding domain-specific languages. In: Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, pp. 37–48. ACM, New York (2009).
https://doi.org/10.1145/1596638.1596644
. ISBN 978-1-60558-508-6
2. Lecture Notes in Computer Science;E Axelsson,2005
3. Baaij, C.P.R.: Digital circuits in C$${\uplambda }$$aSH: functional specifications and type-directed synthesis. info:eu-repo/semantics/doctoralThesis. University of Twente, Enschede, January 2015.
https://doi.org/10.3990/1.9789036538039
4. Bjesse, P., Claessen, K., Sheeran, M., Singh, S.: Lava: hardware design in Haskell. ACM SIGPLAN Not. 34(1), 174–184 (1999).
https://doi.org/10.1145/291251.289440
. ISSN 03621340
5. Boulton, R.J., Gordon, A.D., Gordon, M.J.C., Harrison, J., Herbert, J., Van Tassel, J.: Experience with embedding hardware description languages in HOL. In: TPCD, vol. 10, pp. 129–156 (1992)