Performance Analysis of a Verified Linear Algebra Program in SML
Livre:
Taller de Programación Funcional - XII Spanish Conference on Programming and Computer Languages, PROLE 2013
ISBN: 978-84-695-8331-9
Année de publication: 2013
Pages: 28-35
Type: Chapitre d'ouvrage