bentnib.org domain details, Bob Atkey
Domain rank: 1387116
Domain speed: Very fast (0.034 seconds at 363.137 MB/s)
Indexed URLs from bentnib.org website (10)
The links in column here only counts links from external domains.
found date
links in
url title
url
2021-05-31
Bob Atkey
2021-05-31
Authenticated Data Structures, as a Library, for Free!
2022-02-05
Mathematically Structured Functional Programming 2016
2022-07-06
Unembedding domain-specific languages
2021-05-31
Off the Beaten Track 2017: Call for Talk Proposals
2021-05-31
Slides and Video for “Resource Constrained Programming with Full Dependent Types”
2021-05-31
Bob Atkey's blog
2021-05-31
Relational Parametricity for Higher Kinds
2021-05-31
Quantitative Typing with Non-idempotent Intersection Types
2021-05-31
Slides for “Resource Constrained Programming with Full Dependent Types”