Pinned Repositories
agda-arrays
dependent-haskell
effect-handlers
effects-bibliography
Work related to algebraic effects and handlers
effects-rosetta-stone
A comparison of how computational effects and handlers are implemented in various programming languages.
ehl
links
Links: Linking Theory to Practice for the Web
lwt
Concurrency in OCaml based on promises.
module-linking
Proposal for allowing modules to define, import and export modules and instances
SN
slindley's Repositories
slindley/effect-handlers
slindley/dependent-haskell
slindley/agda-arrays
slindley/effects-bibliography
Work related to algebraic effects and handlers
slindley/SN
slindley/effects-rosetta-stone
A comparison of how computational effects and handlers are implemented in various programming languages.
slindley/ehl
slindley/links
Links: Linking Theory to Practice for the Web
slindley/lwt
Concurrency in OCaml based on promises.
slindley/module-linking
Proposal for allowing modules to define, import and export modules and instances
slindley/stack-switching
A repository for the stack switching proposal.
slindley/TyDe2016.github.io
Tyde 2016 homepage
slindley/wasm-meetings
WebAssembly meetings (VC or in-person), agendas, and notes