1742 search results - page 40 / 349 » An Applicative Module Calculus |
TYPES
2007
Springer
14 years 4 months ago
2007
Springer
This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the ...
UAI
2003
13 years 11 months ago
2003
Methods for learning Bayesian networks can discover dependency structure between observed variables. Although these methods are useful in many applications, they run into computat...
CADE
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
POPL
2003
ACM
14 years 10 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
HICSS
2006
IEEE
14 years 4 months ago
2006
IEEE
An important part of the Enterprise Resource Planning (ERP) system implementation process is the decision, which modules are implemented and in which order. We posit that the deci...