A calculus for hardware description

DOI10.1017/S0956796810000249zbMath1221.68056OpenAlexW2129109266MaRDI QIDQ3021415

Sungwoo Park, Hyeonseung Im

Publication date: 25 July 2011

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796810000249

zbMATH Keywords

functional languageshardware description languageslinear lambda (\(l\lambda\))

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical problems of computer architecture (68M07)

Cites Work

• Geometry of synthesis
• A reflective functional language for hardware design and theorem proving
• On bunched typing
• Functional netlists

This page was built for publication: A calculus for hardware description