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

Ano de publicación: 2013

Páxinas: 28-35

Tipo: Capítulo de libro

GOOGLE SCHOLAR