Nuprl's class theory and its applications

zbMATH Open0995.68014MaRDI QIDQ2752048FDOQ2752048

Authors: Jason Hickey, Robert Constable 

Publication date: 23 October 2002

Recommendations

• Innovations in computational type theory using Nuprl
• scientific article; zbMATH DE number 1541629
• Abstract parametric classes and abstract data types defined by classical and constructive logical methods
• Exploring abstract algebra in constructive type theory
• scientific article; zbMATH DE number 1070622

zbMATH Keywords

inheritanceconstructive type

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (7)

• A scalable module system
• Abstract parametric classes and abstract data types defined by classical and constructive logical methods
• Manifest Fields and Module Mechanisms in Intensional Type Theory
• Exploring abstract algebra in constructive type theory
• Title not available (Why is that?)
• Validating Brouwer's continuity principle for numbers using named exceptions
• Innovations in computational type theory using Nuprl

Uses Software

• Nuprl

This page was built for publication: Nuprl's class theory and its applications

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