1932 search results - page 178 / 387 » A Functional Quantum Programming Language |
165
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
The “zipper” is a well known design pattern for providing a cursorlike interface to a data structure. However, the classic treatise by Huet only scratches the surface of some ...
205
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
142
click to vote
LISP
1998
15 years 6 months ago
1998
This paper describes a new language feature that is a hybrid of labels and procedures. It is closely related to jumping out of a functional subroutine, and includes conventional la...
203
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
164
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...