135
click to vote
CTRS
1987
15 years 8 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
156
click to vote
DAC
1989
ACM
15 years 8 months ago
1989
ACM
We present an accurate and efficient method for extraction of parasitic capacitances in submicron integrated circuits. The method uses a 3-D finite element model in which the cond...
163
click to vote
CTCS
1987
Springer
15 years 8 months ago
1987
Springer
A typed lambda calculus with categorical type constructors is introduced. It has a uniform category theoretic mechanism to declare new types. Its type structure includes categoric...
147
click to vote
CTCS
1987
Springer
15 years 8 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
CSL
1987
Springer
15 years 8 months ago
1987
Springer
