3 search results - page 1 / 1 » Matrices as Arrows! |
MPC
2010
Springer
13 years 8 months ago
2010
Springer
cting programs and point-free abstraction [2]. In order to automatically generate the fast running code there was the need to use matrix product as the basic matrix composition ope...
ENTCS
2008
13 years 4 months ago
2008
We argue that a realistic model for quantum computations should be general with respect to measurements, and complete with respect to the information flow between the quantum and ...
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
Financial companies, engineering firms and even scientists create increasingly larger spreadsheets and spreadsheet programs. The creators of large spreadsheets make errors and mus...