1932 search results - page 82 / 387 » A Functional Quantum Programming Language |
IFIP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
ESOP
2000
Springer
15 years 1 months ago
2000
Springer
We introduce graph reduction technology that implements functional languages with control, such as Scheme with call/cc, where continuations can be manipulated explicitly as values,...
VL
2007
IEEE
15 years 4 months ago
2007
IEEE
This articles submits the thesis that visual data modeling and programming languages are conveniently conceived as rendering, or ‘styling’, of conventional, textual languages....
SIGPLAN
2002
14 years 9 months ago
2002
This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University of Technology, and as a...
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...