Synthesizable high level hardware descriptions (Q609757): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00354-008-0093-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2115635603
@@ Property / OpenAlex ID: W2115635603 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A partial evaluator for the untyped lambda-calculus
+Normal rank
@@ Property / cites work @@
+Two-level semantics and code generation
@@ Property / cites work: Two-level semantics and code generation / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:609757