7124 search results - page 458 / 1425 » Programming Languages and Operating Systems |
197
Voted
SIGPLAN
2002
15 years 7 months ago
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
238
click to vote
KI
1995
Springer
15 years 11 months ago
1995
Springer
The integration of vision and natural languageprocessingincreasingly attracts attention in different areas of AI research. Up to now, however, there have only been a few attempts a...
171
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
166
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
Many networked applications could benefit from executing closer to the data or services with which they interact. By doing this they may be able to circumvent long communication l...
205
click to vote
ENTCS
2002
15 years 7 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...