Work

Type inference with polymorphic recursion

Year: 1993
Type: article
Abstract: Henglein(1) The resulting typing discipline cannot be explained in a syntax-directed fashion, but is rather reminiscent of data-flow oriented reasoning.This
Language: English
Subfield: Software
Open Access status: bronze
OpenAlex ID: W1964952791
FWCI: 11.6
Cites: 61
Cited by: 227
Related to: 10