Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yann Régis-Gianas
Modular Verification of Programs With Effects and Effect Handlers in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Morbig: A Static Parser for POSIX Shell
Journal of Computer Languages
Computer Networks
Software
Human-Computer Interaction
Communications
Morbig: A Static Parser for POSIX Shell
FreeSpec: Specifying, Verifying, and Executing Impure Computations in Coq
Copattern Matching and First-Class Observations in OCaml, With a Macro
Stratified Type Inference for Generalized Algebraic Data Types
