1604 search results - page 48 / 321 » Development Separation in Lambda-Calculus |
NAR
2006
13 years 7 months ago
2006
The increasing amount of genomic and molecular information is the basis for understanding higherorder biological systems, such as the cell and the 15 organism, and their interacti...
CLIN
2003
13 years 9 months ago
2003
This paper reports on the latest rejuvenation of AMAZON, a structuralist parser for Dutch written sentences. Unlike older versions, the new AMAZON parser has been developed in a m...
APLAS
2007
ACM
13 years 11 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
LFP
1990
13 years 8 months ago
1990
This paper presents a module system designed for largescale programming in Scheme. The module system separates speci cations of objects from their implementations, permitting the ...
WSE
2005
IEEE
14 years 1 months ago
2005
IEEE
One way to improve the maintainability of a web application is to separate its presentation from the business logic. Such separation not only makes a web application easier to evo...