Type inference and type checking for functional programming languages: A reduced computation approach

No abstract is available for this paper.

• Publication year

  1984

• Venue

  LFP '84

• Publication date

  1984-08-06

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/800055.802043
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• An ideal model for recursive polymorphic types

  1984cited by this paper
• Coercion and type inference

  1984cited by this paper
• A types-as-sets semantics for milner-style polymorphism

  1984cited by this paper
• Principal type-schemes for functional programs

  1982cited by this paper
• FP with data abstraction and strong typing

  1981cited by this paper
• Inferring types in Smalltalk

  1981influential reference
• Specification of data structures for FP programs

  1981cited by this paper
• A Theory of Type Polymorphism in Programming

  1978cited by this paper
• Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

  1978cited by this paper
• Can programming be liberated from the von Neumann style

  1977cited by this paper
• Automatic computation of data set definitions

  1968cited by this paper
• A Machine-Oriented Logic Based on the Resolution Principle

  1965cited by this paper

• A Survey of Functional Programming

  2003cites this paper
• Strong static type checking for functional common lisp

  1995cites this paper
• VisaVis-contributions to practice and theory of highly interactive visual languages

  1992cites this paper
• Static type inference in a dynamically typed language

  1991cites this paper
• The Nimble Type Inferencer for Common Lisp-84

  1990cites this paper
• A data flow approach to the evaluation of FP programs

  1988cites this paper
• Analysis of functional programs to detect run-time garbage cells

  1988cites this paper
• Grammars for functional languages

  1986cites this paper
• A survey of functional programming language principles

  1986cites this paper
• A semantic editor

  1985cites this paper