The power of Pi

DOI10.1145/1411204.1411213zbMATH Open1323.68145OpenAlexW4237116508MaRDI QIDQ5178754FDOQ5178754

Authors Nicolas Oury, Wouter Swierstra 

Publication date 16 March 2015

Published in Proceedings of the 13th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1411204.1411213

zbMATH Keywords

dependent typesdomain-specific embedded languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Cryptography (94A60) Database theory (68P15) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• The quest for pi
• The amazing number \(\pi\)
• scientific article; zbMATH DE number 1345960
• The structure of `Pi'
• Pi from its foundations

Cited in

(10)

• Auto in Agda. Programming proof search using reflection
• The legal values of pi
• \(\Pi\)-Ware: hardware description and verification in Agda
• Dependently typed programming in Agda
• The quest for pi
• Trends in trends in functional programming 1999/2000 versus 2007/2008
• More dependent types for distributed arrays
• scientific article; zbMATH DE number 782722 (Why is no real title available?)
• \textsc{Mnemonics}: type-safe bytecode generation at run time
• scientific article; zbMATH DE number 5116406 (Why is no real title available?)

This page was built for publication: The power of Pi

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