Extending Isabelle/HOL's Code Generator with Support for the Go Programming Language.

Terru Stbinger, Lars Hupel

Browse the full FM paper archive.