1021 search results - page 111 / 205 » Pure Subtype Systems |
GI
2009
Springer
14 years 17 days ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
SIGGRAPH
2010
ACM
14 years 13 days ago
2010
ACM
We introduce a purely passive facial capture approach that uses only an array of video cameras, but requires no template facial geometry, no special makeup or markers, and no acti...
CA
2000
IEEE
14 years 11 days ago
2000
IEEE
This paper presents a sculptured solid modeling system founded upon dynamic Catmull-Clark subdivision-based solids of arbitrary topology. Our primary contribution is that we integ...
PLDI
2000
ACM
14 years 9 days ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...
ECOOP
1999
Springer
14 years 7 days ago
1999
Springer
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...