Definitional interpreters for higher-order programming languages
type: Item
instance of: scholarly article
title: Definitional interpreters for higher-order programming languages
zbMATH Open document ID: 0934.68034
DOI: 10.1023/A:1010027404223
author: John C. Reynolds
published in: Higher-Order and Symbolic Computation
publication date: 1999-05-31T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1294120
zbMATH Keywords: higher-order programming languages
zbMATH Keywords: lambda calculus
describes a project that uses: PL/I
MaRDI profile type: Publication
Wikidata QID: Q55889895
description: scientific article; zbMATH DE number 1294120