Finite subtype inference with explicit polymorphism
type: Item
instance of: scholarly article
title: Finite subtype inference with explicit polymorphism
zbMATH Open document ID: 0966.68031
DOI: 10.1016/S0167-6423(00)00013-7
author: Dominic Duggan
published in: Science of Computer Programming
publication date: 2001-02-11T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 1563575
zbMATH Keywords: finite subtype inference
describes a project that uses: ADOL-C
describes a project that uses: ADIC
describes a project that uses: TAMC
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1563575