A new type-checker for a functional language
type: Item
instance of: scholarly article
title: A new type-checker for a functional language
zbMATH Open document ID: 0585.68013
DOI: 10.1016/0167-6423(86)90027-4
author: Jon Fairbairn
published in: Science of Computer Programming
publication date: 1986-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3938528
zbMATH Keywords: polymorphic type-checker
zbMATH Keywords: functional programming language
zbMATH Keywords: Ponder
zbMATH Keywords: type- validity of Ponder programs
MaRDI profile type: Publication
full work available at URL: 0167-6423(86)90027-4
OpenAlex ID: W2139102157
description: scientific article; zbMATH DE number 3938528