Bibliographic Details
| Title: |
Hardware in Haskell: Implementing Memories in a Stream-Based World |
| Authors: |
Townsend, Richard Morse, Kim, Martha Allen, Edwards, Stephen A. |
| Publisher Information: |
Department of Computer Science, Columbia University |
| Publication Year: |
2015 |
| Collection: |
Columbia University: Academic Commons |
| Subject Terms: |
Computers, Memory--Computer programs, Haskell (Computer program language), Computer science |
| Description: |
Recursive functions and data types pose significant challenges for a Haskell-to-hardware compiler. Directly translating these structures yields infinitely large circuits; a subtler approach is required. We propose a sequence of abstraction-lowering transformations that exposes time and memory in a Haskell program, producing a simpler form for hardware translation. This paper outlines these transformations on a specific example; future research will focus on generalizing and automating them in our group's compiler. |
| Document Type: |
report |
| Language: |
English |
| Relation: |
https://doi.org/10.7916/D8959H05 |
| DOI: |
10.7916/D8959H05 |
| Availability: |
https://doi.org/10.7916/D8959H05 |
| Accession Number: |
edsbas.59478E8B |
| Database: |
BASE |