Sciweavers

1932 search results - page 78 / 387
» A Functional Quantum Programming Language
Sort
View
ML
2007
ACM
134views Machine Learning» more  ML 2007»
14 years 9 months ago
Status report: the manticore project
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
Matthew Fluet, Nic Ford, Mike Rainey, John H. Repp...

Book
2455views
16 years 7 months ago
Art of Programming Contest - C Programming Tutorials | Data Structures | Algorithms
"The objective of this edition is not only to assist the contestants during the contest hours but also describing the core subjects of Computer Science such as C Programming, ...
Ahmed Shamsul Arefin
TOPLAS
2008
79views more  TOPLAS 2008»
14 years 8 months ago
Witnessing side effects
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
Tachio Terauchi, Alex Aiken
MPC
2004
Springer
116views Mathematics» more  MPC 2004»
15 years 3 months ago
An Injective Language for Reversible Computation
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
ICFP
2010
ACM
14 years 10 months ago
Combining syntactic and semantic bidirectionalization
Matsuda et al. [2007, ICFP] and Voigtl
Janis Voigtländer, Zhenjiang Hu, Kazutaka Mat...