18429 search results - page 200 / 3686 » Typing dynamic typing |
162
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This research paper presents a new system's design and development of the prescription order communication system (POCS) based on the Internet between the hospital and the ph...
144
click to vote
ILP
1998
Springer
15 years 10 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...
186
click to vote
PEPM
1998
ACM
15 years 10 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
147
click to vote
TPHOL
1996
IEEE
15 years 10 months ago
1996
IEEE
We will present a Logic of Computable Functions based on the idea of Synthetic Domain Theory such that all functions are automatically continuous. Its implementation in the Lego pr...
177
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model c...