Performance Analysis of a Verified Linear Algebra Program in SML

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

ISBN: 978-84-695-8331-9

Any de publicació: 2013

Pàgines: 28-35

Tipus: Capítol de llibre

GOOGLE SCHOLAR