Scrap Your Type Applications

DOI10.1007/978-3-540-70594-9_2MaRDI QIDQ3521978zbMATH OpenOpenAlexFDO

Authors Barry Jay, Simon Peyton-Jones

Publication date 28 August 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70594-9_2

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• A semantics for type checking
• Typability and type checking in System F are equivalent and undecidable
• A type-preserving compiler in Haskell
• scientific article; zbMATH DE number 3928328
• System F i

Cited in

(5)

• Evidence normalization in System FC (invited talk)
• scientific article; zbMATH DE number 1765684 (Why is no real title available?)
• scientific article; zbMATH DE number 3928328 (Why is no real title available?)
• A semantics for type checking
• A type system for implicit scaling

Describes a project that uses

Uses Software

• TIL
• GHC
• Haskell
• Coq

This page was built for publication: Scrap Your Type Applications

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