DMCA
The Power of Pi (2008)
Cached
Download Links
- [www.lri.fr]
- [sneezy.cs.nott.ac.uk]
- [www.cs.nott.ac.uk]
- [www.cs.ru.nl]
- [www.staff.science.uu.nl]
- DBLP
Other Repositories/Bibliography
by
Nicolas Oury
,
Wouter Swierstra
| Citations: | 37 - 8 self |
BibTeX
@MISC{Oury08thepower,
author = {Nicolas Oury and Wouter Swierstra},
title = {The Power of Pi},
year = {2008}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small data description language; and relational algebra. Each example demonstrates particular design patterns inherent to dependently-typed programming. Documenting these techniques paves the way for further research in domain-specific embedded type systems.
