Dependent Types for Safe and Secure Web Programming

Simon Fowler, Edwin Charles Brady

School of Computer Science

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Published - 2014

Edwin Charles Brady
- ecb10st-andrews.acuk
- School of Computer Science - Reader
- Centre for Interdisciplinary Research in Computational Algebra
Person: Academic

Cite this