Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/clayrat/guarded-objects
Objects via guarded types
https://github.com/clayrat/guarded-objects
Last synced: 1 day ago
JSON representation
Objects via guarded types
- Host: GitHub
- URL: https://github.com/clayrat/guarded-objects
- Owner: clayrat
- Created: 2024-04-08T15:59:16.000Z (7 months ago)
- Default Branch: main
- Last Pushed: 2024-06-13T14:55:54.000Z (5 months ago)
- Last Synced: 2024-06-13T17:48:10.778Z (5 months ago)
- Language: Agda
- Size: 8.79 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Objects via guarded types
References:
* [Downen, Sullivan, Ariola, Peyton-Jones, [2019] "Codata in Action"](https://pauldownen.com/publications/esop2019.pdf)
* [Abel, Adelsberger, Setzer, [2016] "Interactive Programming in Agda – Objects and Graphical User Interfaces"](https://www.cse.chalmers.se/~abela/ooAgda.pdf)