References

  1. Per Bjesse, Koen Claessen & Mary Sheeran (1998): Lava: Hardware Design in Haskell. In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming. ACM, pp. 174–184, doi:10.1145/289423.289440.
  2. David Money Harris & Sarah L. Harris (2013): Digital Design and Computer Architecture, second edition. Elsevier, doi:10.1016/B978-0-12-394424-5.00004-5. ISBN 978-0-12-394424-5.
  3. Steven D. Johnson (1984): Applicative Programming and Digital Design. In: 11th Annual ACM Symposium on Principles of Programming Languages. ACM, pp. 218–227, doi:10.1145/800017.800533.
  4. Noam Nisan & Shimon Schocken (2005): The Elements of Computing Systems: Building a Modern Computer from First Principles. The MIT Press. ISBN 0-262-14087-X.
  5. John O'Donnell (1995): From transistors to computer architecture: Teaching functional circuit specification in Hydra. In: FPLE'95: Symposium on Functional Programming Languages in Education, LNCS 1022. Springer-Verlag, pp. 195–214, doi:10.1007/3-540-60675-0_46.
  6. John O'Donnell (2002): Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design. In: Proceedings 16th International Parallel & Distributed Processing Symposium. IEEE Computer Society, pp. 234 (abstract), doi:10.1109/IPDPS.2002.1016653. Workshop on Parallel and Distribued Scientific and Engineering Computing with Applications—PDSECA.
  7. John O'Donnell & Gudula Rünger (2004): Derivation of a Logarithmic Time Carry Lookahead Addition Circuit. Journal of Functional Programming 14(6), pp. 697–713, doi:10.1017/S0956796804005180.
  8. David A. Patterson & John L. Hennessy (1998): Computer Organization & Design: The Hardware/Software Interface, second edition. Morgan Kaufmann.
  9. John F. Wakerly (2000): Digital Design: Principles & Practices, third edition. Prentice Hall International.
  10. David E. Winkel & Franklin P. Prosser (1986): The Art of Digital Design: An Introduction to Top-down Design, second edition. Prentice-Hall.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org