1313 search results - page 73 / 263 » Generic Universe Types |
104
click to vote
TLDI
2009
ACM
15 years 8 months ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
ILP
1998
Springer
15 years 4 months ago
1998
Springer
In this paper we argue that the use of a language with a type system, together with higher-order facilities and functions, provides a suitable basis for knowledge representation in...
109
click to vote
CRIWG
2001
15 years 1 months ago
2001
This paper focuses on technical, social and psychological aspects of the use of a video wall for communications between two geographically separated halves of a university departm...
ICSM
2008
IEEE
15 years 6 months ago
2008
IEEE
An automated approach to the identification of C++0x concepts in function templates is described. Concepts are part of a new language feature appearing in the next standard for C+...
DIS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper proposes initial steps towards a generic framework for modeling the scientific process. It is generic according to two main axes. First, it can be instantiated...