1021 search results - page 17 / 205 » Pure Subtype Systems |
VAST
2004
ACM
14 years 1 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...
MSCS
2008
13 years 7 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...
ICFP
2000
ACM
14 years 1 days 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...
BMCBI
2010
13 years 7 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 ...
COORDINATION
2004
Springer
14 years 1 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...