Semi-explicit first-class polymorphism for ML.
type: Item
instance of: scholarly article
title: Semi-explicit first-class polymorphism for ML.
zbMATH Open document ID: 1045.68526
author: Jacques Garrigue
author: Didier Rémy
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 1853078
zbMATH Keywords: subtyping
MaRDI profile type: Publication
OpenAlex ID: W2043188316
cites work: Q4222755
cites work: Q4364382
cites work: Q4297316
cites work: Q3705422
cites work: Q3142167
cites work: Simplifying subtyping constraints
cites work: Q4490734
DOI: 10.1006/INCO.1999.2830
description: scientific article; zbMATH DE number 1853078