1021 search results - page 17 / 205 » Pure Subtype Systems |
146
click to vote
VAST
2004
ACM
15 years 10 months ago
2004
ACM
In the Museum of Pure Form, we explore a novel way of presenting art to visitors of a museum, allowing them to virtually touch artefacts in a virtual museum. In order to realise t...
127
click to vote
MSCS
2008
15 years 4 months ago
2008
The idea of coercive subtyping, a theory of abbreviation for dependent type theories, is incorporated into the polymorphic type system in functional programming languages. The tra...
172
Voted
ICFP
2000
ACM
15 years 9 months ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
152
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: G protein-coupled receptors (GPCRs) represent a family of well-characterized drug targets with significant therapeutic value. Phylogenetic classifications may help to ...
153
Voted
COORDINATION
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...