Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  health  arstechnica.com  openai  google  game  web  linux  apple  video  microsoft  amazon  windows  javascript  security  java  release  theguardian.com 

Resource-safe Systems Programming with Embedded Domain Specific Languages

6 years ago eb.host.cs.st-andrews.ac.uk embedded

Programming and Reasoning with Algebraic Effects and Dependent Types (2013)

6 years ago eb.host.cs.st-andrews.ac.uk

Programming and Reasoning with Algebraic Effects and Dependent Types [pdf]

10 years ago eb.host.cs.st-andrews.ac.uk pdf