A type inference algorithm for a stratified polymorphic type discipline
type: Item
instance of: scholarly article
title: A type inference algorithm for a stratified polymorphic type discipline
zbMATH Open document ID: 0822.68016
author: Paola Giannini
author: Simona Ronchi Della Rocca
published in: Information and Computation
publication date: 1994-05-05T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 563082
zbMATH Keywords: polymorphic type assignment
MaRDI profile type: Publication
full work available at URL: inco.1994.1015
OpenAlex ID: W2062730120
DOI: 10.1006/INCO.1994.1015
description: scientific article; zbMATH DE number 563082