1021 search results - page 111 / 205 » Pure Subtype Systems |
114
Voted
GI
2009
Springer
15 years 7 months 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...
146
Voted
SIGGRAPH
2010
ACM
15 years 6 months 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...
114
click to vote
CA
2000
IEEE
15 years 6 months 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...
110
click to vote
PLDI
2000
ACM
15 years 6 months 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 ...
132
click to vote
ECOOP
1999
Springer
15 years 6 months 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...