Evidence normalization in System FC (invited talk)

DOI10.4230/LIPICS.RTA.2013.20zbMATH Open1356.68038MaRDI QIDQ2958372FDOQ2958372

Authors: Dimitrios Vytiniotis, Simon Peyton-Jones 

Publication date: 1 February 2017

Recommendations

• System FC with explicit kind equality
• Scrap Your Type Applications
• scientific article; zbMATH DE number 1692906
• Typed Applicative Structures and Normalization by Evaluation for System F ω
• A type-preserving compiler in Haskell

zbMATH Keywords

Haskelltype functionsSystem FC

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (1)

• System FC with explicit kind equality

Uses Software

• Haskell

This page was built for publication: Evidence normalization in System FC (invited talk)

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