3824 search results - page 262 / 765 » Geometry Constructions Language |
112
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The increased importance of XML as a universal data representation format has led to several proposals for enabling the development of applications that operate on XML data. These...
248
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
117
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
The development of programming skills is a motivating issue in computer science. Programming languages have been increasingly used to map end-users needs and mental models. The nu...
240
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...
117
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
The client computing platform is moving towards a heterogeneous architecture consisting of a combination of cores focused on scalar performance, and a set of throughput-oriented c...