5415 search results - page 323 / 1083 » The Implementation of Functional Programming Languages |
100
Voted
FLAIRS
2001
15 years 3 months ago
2001
SUITEKeys is a speech user interface for motor-disabled computer users. This interface provides access to all available functionality of a computer by modeling interaction at the ...
148
click to vote
OSDI
2008
ACM
15 years 3 months ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
200
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
The advent of multicore processors has raised new demand for harnessing concurrency in the software mass market. We summarise our previous work on the data parallel, functional ar...
118
click to vote
TLCA
2005
Springer
15 years 7 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
116
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...