Performance Analysis of a Verified Linear Algebra Program in SML
Liburua:
Taller de Programación Funcional - XII Spanish Conference on Programming and Computer Languages, PROLE 2013
ISBN: 978-84-695-8331-9
Argitalpen urtea: 2013
Orrialdeak: 28-35
Mota: Liburuko kapitulua