1982 search results - page 109 / 397 » Parametricity and dependent types |
150
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of...
118
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
The aim of this paper is to describe various types of synchronization phenomena discovered in our earlier studies of dynamics of Cellular Nonlinear Networks composed of locally in...
140
click to vote
LISP
2002
15 years 4 months ago
2002
We investigate call-by-value continuation-passing style transforms that continuations. Altering a single variable in the translation of -abstraction gives rise to different control...
152
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: When investigating covariate interactions and group associations with standard regression analyses, the relationship between the response variable and exposure may be ...
125
click to vote
TLCA
2001
Springer
15 years 9 months ago
2001
Springer
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the Calculus of Constructions that we extend by adding an i...