A hard act to follow
type: Item
instance of: scholarly article
title: A hard act to follow
zbMATH Open document ID: 0951.01025
DOI: 10.1023/A:1010053724918
author: Tony Hoare
published in: Higher-Order and Symbolic Computation
publication date: 2000-12-04T00:00:00Z
Mathematics Subject Classification ID: 01A70
Mathematics Subject Classification ID: 01A60
zbMATH DE Number: 1454775
zbMATH Keywords: Christopher Strachey
MaRDI profile type: Publication
full work available at URL: a:1010053724918
OpenAlex ID: W2107529326
description: scientific article; zbMATH DE number 1454775