Performance Analysis of a Verified Linear Algebra Program in SML

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

ISBN: 978-84-695-8331-9

Datum der Publikation: 2013

Seiten: 28-35

Art: Buch-Kapitel

GOOGLE SCHOLAR