10666 search results - page 206 / 2134 » Quantum programming languages |
POPL
2006
ACM
14 years 11 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
We propose a computing model, the Two-Way Optical Interference Automata (2OIA), that makes use of the phenomenon of optical interference. We introduce this model to investigate th...
VL
2003
IEEE
14 years 4 months ago
2003
IEEE
At the beginning stage of programming education, comprehending program logics plays a more important role than capturing knowledge of a specific program language. In this paper, t...
ICLP
2009
Springer
14 years 11 months ago
2009
Springer
ERLANG
2007
ACM
14 years 2 months ago
2007
ACM
This paper presents an interactive framework for pupils to learn the basic concepts of programming by means of the functional programming language Erlang. Beside the idea of the f...