Applicative programming and digital design

Authors:
Steven D. Johnson
Affiliations:
Computer Science Department, Indiana University, Lindley Hall 101, Bloomington, IN
Venue:
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Year:
1984

Continuation-Based Program Transformation Strategies

Journal of the ACM (JACM)
Constructing Call-by-Value Continuation Semantics

Journal of the ACM (JACM)
On folk theorems

Communications of the ACM
Subgoal induction

Communications of the ACM
Lucid, a nonprocedural language with iteration

Communications of the ACM
An Introduction to Artificial Intelligence

An Introduction to Artificial Intelligence
Introduction to VLSI Systems

Introduction to VLSI Systems
A Hardware Semantics Based on Temporal Intervals

Proceedings of the 10th Colloquium on Automata, Languages and Programming
Synthesis of digital designs from recursion equations

Synthesis of digital designs from recursion equations

Functional netlists

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
A calculus for hardware description*

Journal of Functional Programming

Hi-index	0.00