An early use of continuations and partial evaluation for compiling rules written in first-order predicate calculus
type: Item
instance of: scholarly article
title: An early use of continuations and partial evaluation for compiling rules written in first-order predicate calculus
zbMATH Open document ID: 0935.68100
DOI: 10.1023/A:1010072901408
author: Erik Sandewall
published in: Higher-Order and Symbolic Computation
publication date: 1999-09-22T00:00:00Z
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 1341346
zbMATH Keywords: partial evaluation
zbMATH Keywords: continuations
MaRDI profile type: Publication
full work available at URL: a:1010072901408
OpenAlex ID: W1506313028
description: scientific article; zbMATH DE number 1341346