120
click to vote
FPCA
1991
15 years 8 months ago
1991
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
147
click to vote
FPCA
1991
15 years 8 months ago
1991
Hannan. Making Abstract Machines Less Abstract . In Proc. of FPCA'91, LNCS 523, pages
177
click to vote
FP
1991
15 years 8 months ago
1991
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...
155
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
In this paper, we revisit the classical problem of functional decomposition [1, 2] that arises so often in logic synthesis. One basic problem that has remained largely unaddressed...
