433 search results - page 2 / 87 » A history of the history of programming languages |
CORR
2008
Springer
13 years 6 months ago
2008
Springer
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lamb...
AC
2008
Springer
13 years 6 months ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
SPE
2002
13 years 5 months ago
2002
HOPL
2007
13 years 10 months ago
2007
This paper describes the history of Haskell, including its genesis and principles, technical contributions, implementations and tools, and applications and impact.
APLAS
2004
ACM
13 years 10 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...