The end of history? Using a proof assistant to replace language design with library design
Functionality of software systems has exploded in part because of advances in programming language support for packaging reusable functionality as libraries. Developers benefit from the uniformity that comes of exposing many interfaces in the same language, as opposed to stringing together hodgepodg...
| Main Authors: | , , , , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
Dagstuhl Research
2020
|
| Online Access: | https://hdl.handle.net/1721.1/128880 |