A Short Isabelle Tutorial for the Functional Programmer - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2017

A Short Isabelle Tutorial for the Functional Programmer

Résumé

The objective of this (very) short tutorial is to help any functional programmer to quickly put its hand on Isabelle/HOL and catch a glimpse of its power. Then, if you want some more, you should refer to the extensive Isabelle/HOL tutorial and documentation available in the tool.

Domaines

Génie logiciel [cs.SE] Informatique et langage [cs.CL] Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
main (1).pdf (181.48 Ko) Télécharger le fichier

Thomas Genet  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01208577

Soumis le : mercredi 4 janvier 2023-12:03:36

Dernière modification le : mercredi 4 décembre 2024-14:44:02

Télécharger pour visualiser

Dates et versions

hal-01208577 , version 1 (02-10-2015)
hal-01208577 , version 2 (15-10-2015)
hal-01208577 , version 3 (06-11-2015)
hal-01208577 , version 4 (15-06-2016)
hal-01208577 , version 5 (15-05-2017)
hal-01208577 , version 6 (28-08-2018)
hal-01208577 , version 7 (26-08-2020)
hal-01208577 , version 8 (20-09-2021)
hal-01208577 , version 9 (04-01-2023)

Identifiants

  • HAL Id : hal-01208577 , version 9

Citer

Thomas Genet, Jørgen Villadsen. A Short Isabelle Tutorial for the Functional Programmer. [Research Report] IRISA. 2017, pp.1-5. ⟨hal-01208577v9⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC INRIA2 LARA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
1118 Consultations
7103 Téléchargements

Partager

More