The power of Pi

DOI10.1145/1411204.1411213zbMath1323.68145OpenAlexW4237116508MaRDI QIDQ5178754

Wouter Swierstra, Nicolas Oury

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

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

Related Items

Auto in Agda ⋮ Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ More dependent types for distributed arrays ⋮ \textsc{Mnemonics}: type-safe bytecode generation at run time ⋮ Unnamed Item ⋮ Dependently Typed Programming in Agda