1686 search results - page 142 / 338 » Higher Order Deforestation |
103
click to vote
CTCS
1989
Springer
15 years 8 months ago
1989
Springer
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
127
click to vote
ITP
2010
15 years 8 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...
150
click to vote
APNOMS
2006
Springer
15 years 8 months ago
2006
Springer
Distributed computing systems are continuously increasing in complexity and cost of managing, and system management tasks require significantly higher levels of autonomic managemen...
158
click to vote
WCRE
1995
IEEE
15 years 8 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
113
click to vote
FLAIRS
2001
15 years 5 months ago
2001
Using a generalized adaptive frameworkfor unified cognitive modeling,wereplicate humanperformanceon a standardStrooptask withinan explanatorycomputational modelof vision, language...