2343 search results - page 58 / 469 » Structure and Interpretation of Computer Programs |
107
Voted
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
115
click to vote
ICFP
2000
ACM
15 years 7 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
113
click to vote
Publication
This paper describes the structure of, and the ideas behind, a self-applicable specializer of programs, as well as the principles of operation of a compiler generator that has been...
119
click to vote
ITICSE
1996
ACM
15 years 6 months ago
1996
ACM
This paper describes two ways we have integrated algorithm animations into several computer science courses. First, we use previously existing animations during lectures to aid in...
114
Voted
AUIC
2006
IEEE
15 years 8 months ago
2006
IEEE
User interface designers still have to rely on personal creativity and skill when designing computer icons for program functions that have no existing conventional representation....