Author:
Brettschneider Matthias,Häberlein Tobias
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Bjesse, P., Claessen, K., Sheeran, M., Singh, S.: Lava: Hardware design in haskell. ACM Press (1998)
2. Galois, Inc., Portland, Oregon. Cryptol Programming Guide (October 2008),
http://www.galois.com/files/Cryptol/Cryptol_Programming_Guide.pdf
3. Galois, Inc., Portland, Oregon. From Cryptol to FPGA (October 2008),
http://www.galois.com/files/Cryptol/Cryptol_Tutorial.pdf
4. Grundy, J., Melham, T., O’Leary, J.: A reflective functional language for hardware design and theorem proving. Journal on Functional Programming 16(2), 157–196 (2006)
5. Hughes, J.: Generalising monads to arrows. Science of Computer Programming 37, 67–111 (1998)