Sciweavers

4708 search results - page 318 / 942
» Generating the Structure of Argument
Sort
View
ICFP
1999
ACM
15 years 11 months ago
Flexible Type Analysis
Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, and fla...
Karl Crary, Stephanie Weirich
ICFP
1998
ACM
15 years 11 months ago
Intensional Polymorphism in Type-Erasure Semantics
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
Karl Crary, Stephanie Weirich, J. Gregory Morriset...
EVOW
1998
Springer
15 years 11 months ago
Blurred Vision: Simulation-Reality Transfer of a Visually Guided Robot
This paper investigates the evolution of robot controllers utilising only visual environment input data, capable of performing a hard task, playing football, in the real world. Th...
Tom M. C. Smith
ECHT
1992
15 years 10 months ago
Two Years before the Mist: Experiences with Aquanet
Aquanet is a collaborative hypertext tool that combines elements of frame-based knowledge representation and graphical presentation. In this paper, we examine the first major appl...
Catherine C. Marshall, Russell A. Rogers
AOSD
2007
ACM
15 years 10 months ago
Tribe: a simple virtual class calculus
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
Dave Clarke, Sophia Drossopoulou, James Noble, Tob...