139 search results - page 24 / 28 » A Deductive and Typed Object-Oriented Language |
157
click to vote
CACM
1999
15 years 4 months ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...
231
click to vote
VLDB
1998
ACM
15 years 4 months ago
1998
ACM
The increasing power of modern computers steadily opens up new application domains for advanced data processing such as engineering and knowledge-based applications. To meet their...
177
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
128
click to vote
ACMACE
2006
ACM
15 years 10 months ago
2006
ACM
A new type of Authoring System for 3DCG animation is developed in which a user can easily manipulate three dimensional objects in three dimensional simulated space on the computer...
157
click to vote
MSCS
2000
15 years 4 months ago
2000
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...