Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] paper: "Purely Functional Structured Programmi...

view this post on Zulip Email Gateway (Aug 18 2022 at 15:43):

From: Steven Obua <steven.obua@googlemail.com>
Hi,

I am pleased to announce my new paper "Purely Functional Structured Programming" which is available at arXiv.org: http://arxiv.org/abs/1007.3023 .

It also mentions Isabelle :-)

Last updated: Apr 30 2025 at 08:27 UTC