Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

ICFP
2008
ACM

favoriteEmaildiscussreport

83views Programming Languages» more ICFP 2008»

The power of Pi

14 years 4 months ago

The power of Pi

Download www.cs.nott.ac.uk

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.

Nicolas Oury, Wouter Swierstra

Real-time Traffic

Data Description Language | Domain-specific Embedded Type | Domain-specific Languages | ICFP 2008 | Programming Languages |

claim paper

Related Content

» PiLib A Hosted Language for PiCalculus Style Concurrency

» Representation of the Signal Transduction with Aberrance Using Ipi Calculus

» Analysis of Pi Series and Its Application to Image Encryption

» On the expressiveness of interaction

» Design of Optimal PI Controllers for Doubly Fed Induction Generators Driven by Wind Turbin...

» Typing Aberrance in Signal Transduction

» Diversitymultiplexing gain tradeoff with peak to average power ratio constraints

» Design of a GeneticAlgorithmBased Steam Temperature Controller in Thermal Power Plants

» Leakage power dependent temperature estimation to predict thermal runaway in FinFET circui...

Post Info
More Details (n/a)

Added	13 Dec 2009
Updated	13 Dec 2009
Type	Conference
Year	2008
Where	ICFP
Authors	Nicolas Oury, Wouter Swierstra

Comments (0)