4 citations · 6 across the 6 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.SE2013★ 4 cited
Typing linear algebra: A biproduct-oriented approach
Hugo Daniel Macedo, José N. Oliveira
Interested in formalizing the generation of fast running code for linear algebra applications, the authors show how an index-free, calculational approach to matrix algebra can be d…
cs.LO2013★ 1 cited
Calculating risk in functional programming
Daniel Murta, Jose Nuno Oliveira
In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, "functionally correct" code becomes risky and one…