The power of Pi

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2008, Pages 39-50

  Oury, Nicolas ^a   Swierstra, Wouter ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

Design; Languages; Theory

Indexed keywords

CRYPTOGRAPHIC PROTOCOLS; DEPENDENT TYPES; DESIGN; DESIGN PATTERNS; DOMAIN SPECIFICS; DOMAIN-SPECIFIC LANGUAGES; LANGUAGES; RELATIONAL ALGEBRAS; SMALL DATUM; THEORY; TYPE SYSTEMS;

ALGEBRA; COMPUTER PROGRAMMING; CRYPTOGRAPHY; EMBEDDED SYSTEMS; LINGUISTICS; PROGRAMMING THEORY; QUERY LANGUAGES;

FUNCTIONAL PROGRAMMING;

EID: 59249086782     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1411204.1411213     Document Type: Conference Paper

References (33)

1. Lennart Augustsson and Magnus Carlsson. An exercise in dependent types: a well-typed interpreter. Unpublished manuscript.
2. Godmar Back. Datascript - a specification and scripting language for binary data. In GPCE '02: Proceedings of the 1st ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, 2002.
3. Per Bjesse, Koen Claessen, Mary Sheeran, and Satnam Singh. Lava: Hardware design in Haskell. In ICFP '98: Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, 1998.
4. Björn Bringert, Anders Höckersten, Conny Andersson, Martin Andersson, Mary Bergman, Victor Blomqvist, and. Torbjörn Martin. Student paper: HaskellDB improved. In Haskell '04: Proceedings of the 2004 ACM SIGPLAN Workshop on Haskell, 2004.
5. Koen Claessen and John Hughes. Quickcheck: a lightweight tool for random testing of Haskell programs. In ICFP '00: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, 2000.
6. Conal Elliott and Paul Hudak. Functional reactive animation. In ICFP '97: Proceedings of the Second ACM SIGPLAN International Conference on Functional Programming, 1997.
7. Kathleen Fisher and Robert Gruber. PADS: a domain-specific language for processing ad hoc data. SIGPLAN Conference on Programming Language Design and Implementation, 2005.
8. Kathleen Fisher, Yitzhak Mandelbaum., and David Walker. The next 700 data description languages. In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006.
9. Tim Freeman and Frank Pfenning. Refinement types for ML. In Proceedings of the SIGPLAN '91 Symposium on Language Design and Implementation, 1991.
10. Galois, Inc. Cryptol Reference Manual, 2002.
11. Ralf Hinze and Johan Jeuring. Generic Haskell: Practice and theory. In Generic Programming, volume 2793 of Lecture Notes in Computer Science. Springer-Verlag, 2003.
12. Graham Hutton and Erik Meijer. Monadic parsing in Haskell. Journal of Functional Programming, 8(4), 1998.
13. Oleg Kiselyov, Ralf Lämmel, and Keean Schupke. Strongly typed heterogeneous collections. In Haskell '04: Proceedings of the 2004 ACM SIGPLAN Workshop on Haskell, 2004.
14. Daan Leijen and Erik Meijer. Domain specific embedded compilers. In 2nd USENIX Conference on Domain Specific Languages (DSL'99), October 1999.
15. Daan Leijen and Erik Meijer. Parsec: Direct style monadic parser combinators for the real world. Technical Report UU-CS-2001-27, Universiteit Utrecht, 2001.
16. Conor McBride. Epigram: Practical programming with dependent types. In Advanced Functional Programming, volume 3622 of LNCS-Tutorial, pages 130-170. Springer-Verlag, 2004.
17. Conor McBride and James McKinna. The view from the left. Journal of Functional Programming, 14(1), 2004.
18. Peter J. McCann and Satish Chandra. Packet types: abstract specification of network protocol messages. In SIGCOMM '00: Proceedings of the Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, 2000.
19. James McKinna and Joel Wright. A type-correct, stack-safe, provably correct expression compiler in Epigram. Accepted, for publication in the Journal of Functional Programming.
20. Peter Morris, Thorsten Altenkirch, and Conor McBride. Exploring the regular tree types. In Types for Proofs and Programs, volume 3839 of LNCS. Springer-Verlag, 2004.
21. Henrik Nilsson, Antony Courtney, and John Peterson. Functional reactive programming, continued. In Haskell '02: Proceedings of the 2002 ACM SIGPLAN Haskell Workshop, 2002.
22. Bengt Nordström, Kent Petersson, and Jan M. Smith. Programming in Martin-Löf's Type Theory. Oxford University Press, 1990.
23. UIf Norell. Towards a practical programming language based on dependent type theory. PhD thesis, Chalmers University of Technology, 2007.
24. Simon Peyton Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, 2003.
25. Simon Peyton Jones, Jean-Marc Eber, and Julian Seward. Composing contracts: an adventure in financial engineering. In ICFP '00: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, 2000.
26. Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Geoffrey Washburn. Simple unification-based type inference for GADTs. In ICFP '06: Proceedings of the eleventh ACM SIGPLAN International Conference on Functional Programming, 2006.
27. Tim Sheard. Putting Curry-Howard to work. In Haskell '05: Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell, 2005.
28. Matthieu Sozeau. Subset coercions in Coq. In Types for Proofs and Programs, volume 4502 of LNCS. Springer-Verlag, 2007.
29. S. Doaitse Swierstra and Luc Duponcheel. Deterministic, errorcorrecting combinator parsers. In Advanced Functional Programming, volume 1129 of LNCS-Tutorial, 1996.
30. Wouter Swierstra and Thorsten Altenkirch. Dependent types for distributed arrays. In Proceedings of the Ninth Symposium on Trends in Functional Programming, 2008.
31. The Agda Team. Agda homepage, http://www.es.chalmers.se/~ulfn/Agda, 2008.
32. Peter Thiemann. Server-side web programming in WASH. In Advanced Functional Programming, volume 3622 of LNCS-Tutorial. Springer-Verlag, 2004.
33. Philip Wadler. Views: A way for pattern matching to cohabit with data abstraction. In 14th Symposium on Principles of Programming Languages, 1987.