Specifying type systems

DOI10.1007/3-540-61735-3_21zbMATH Open1355.68057OpenAlexW1533278172MaRDI QIDQ2956732

Dieter Nazareth

Publication date: 19 January 2017

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61735-3_21

zbMATH Keywords

type inferenceaxiomatic specificationqualified typespolymorphic type system

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Type structures ⋮ Introduction to generalized type systems ⋮ Classification of control of types in programs with complex data types ⋮ A Type System for Usage of Software Components ⋮ Recent Advances in Constraints ⋮ Title not available (Why is that?)

Uses Software

• Haskell

Recommendations

• Typing in pure type systems 👍 👎
• Type inference for pure type systems 👍 👎
• Introduction to generalized type systems 👍 👎
• Type system in programming languages 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Specifying type systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2956732)