Isabelle’s Code Generator and Functional Programming Environment: A (not so) Gentle Introduction

By Achim D. Brucker.

Please cite this work as follows:
A. D. Brucker, “Isabelle’s code generator and functional programming environment: A (not so) gentle introduction,” presented at the Fun in the afternoon / s-REPLS - 13, Bristol, UK, Nov. 01, 2023. Author copy: https://logicalhacking.com/publications/talk-brucker-isabelle-code-generation-2023/

BibTeX
@Unpublished{ talk:brucker:isabelle-code-generation:2023,
  author     = {Achim D. Brucker},
  date       = {2023-11-01},
  title      = {Isabelle's Code Generator and Functional Programming
                Environment: A (not so) Gentle Introduction},
  eventtitle = {Fun in the Afternoon / S-REPLS - 13},
  language   = {english},
  areas      = {formal methods},
  venue      = {Bristol, UK},
  abstract   = {},
  note       = {Author copy: \url{https://logicalhacking.com/publications/talk-brucker-isabelle-code-generation-2023/}},
  pdf        = {https://logicalhacking.com/publications/talk-brucker-isabelle-code-generation-2023/talk-brucker-isabelle-code-generation-2023.pdf},
}