Modular Programming Language Development

Contact

Overview
Publications
Talks
Software
Contact

Contact Information

Project responsible:	Patrick Bahr
Email:	paba@diku.dk
Mail address:	Department of Computer Science University of Copenhagen Universitetsparken 5 2100 Copenhagen Ø, Denmark

Recent Publications

Cutting Out Continuations Wadler Festschrift

Calculating correct compilers J. Funct. Programming

Certified Symbolic Management of Financial Multi-party Contracts ICFP '15

Type Families with Class, Type Classes with Family HASKELL '15

Calculating Certified Compilers for Non-deterministic Languages MPC '15

Recent Talks

Certified Symbolic Management of Financial Multi-party Contracts ICFP '15

Type Families with Class, Type Classes with Family HASKELL '15

Calculating Certified Compilers for Non-deterministic Languages MPC '15

Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain PEPM '15

Towards Certified Management of Financial Contracts NWPT '14

More...

Generated by hakyll. New Golden Gray theme by William Pramana and Samuel T Trassare.