A New Formalization of Subtyping to Match Subclasses to Subtypes
type: Item
instance of: scholarly article
title: A New Formalization of Subtyping to Match Subclasses to Subtypes
zbMATH Open document ID: 1416.68042
DOI: 10.1007/978-3-319-07151-0_15
author: Hyunik Na
author: Sukyoung Ryu
published in: Functional and Logic Programming
publication date: 2014-07-24T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 6320265
describes a project that uses: PolyTOIL
MaRDI profile type: Publication
full work available at URL: 978-3-319-07151-0 15
OpenAlex ID: W2236375266
description: scientific article; zbMATH DE number 6320265