Performance Analysis of a Verified Linear Algebra Program in SML

  1. Divasón Mallagaray, José
  2. Aransay Azofra, Jesús María
Libro:
Taller de Programación Funcional - XII Spanish Conference on Programming and Computer Languages, PROLE 2013

ISBN: 978-84-695-8331-9

Año de publicación: 2013

Páginas: 28-35

Tipo: Capítulo de Libro

GOOGLE SCHOLAR