Functional netlists

From MaRDI portal

Revision as of 15:53, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5178773

Jump to:navigation, search

DOI10.1145/1411204.1411253zbMath1323.68146OpenAlexW4205931245MaRDI QIDQ5178773

Hyeonseung Im, Jinha Kim, Sungwoo Park

Publication date: 16 March 2015

Published in: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1411204.1411253

zbMATH Keywords

functional language hardware description language linear type system Netlists

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Numerical methods for discrete and fast Fourier transforms (65T50)

Related Items (2)

Generating Reversible Circuits from Higher-Order Functional Programs ⋮ A calculus for hardware description

This page was built for publication: Functional netlists

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5178773&oldid=19744512"