1932 search results - page 127 / 387 » A Functional Quantum Programming Language |
150
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Software written in one language often needs to construct sentences in another language, such as SQL queries, XML output, or shell command invocations. This is almost always done ...
146
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
141
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
130
click to vote
LADS
2007
Springer
15 years 10 months ago
2007
Springer
Programming languages based on the BDI style of agent model are now common. Within these there appears to be some, limited, agreement on the core functionality of agents. However, ...
158
Voted
ESOP
1999
Springer
15 years 8 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...