2343 search results - page 36 / 469 » Structure and Interpretation of Computer Programs |
136
Voted
ENTCS
2002
15 years 2 months ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...
107
click to vote
CCGRID
2004
IEEE
15 years 6 months ago
2004
IEEE
The focus of this paper is on the design and implementation of a critical program in structural biology onto two computational and data grids. The first is the Buffalo-based ACDC ...
125
click to vote
ICFP
2001
ACM
16 years 2 months ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
116
Voted
ILP
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we focus on the problem of learning reactive skills for use by physical agents. We propose a new representation for such procedures, teleoreactive logic programs, al...
108
click to vote
CHI
2006
ACM
16 years 2 months ago
2006
ACM
As graph models are applied to more widely varying fields, researchers struggle with tools for exploring and analyzing these structures. We describe GUESS, a novel system for grap...