Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stefan Monnier
Typed Regions
Related publications
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Dependently Typed Programming
Progress in Informatics
Typed Logics With States
Logic Journal of the IGPL
Philosophy
Diabetic Mouse Incorrectly Typed
Science
Multidisciplinary
Philosophy of Science
History
Practical Typed Lazy Contracts
ACM SIGPLAN Notices
Computer Science
Typed Combinators for Generic Traversal
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Simply Typed Λ-Calculus
Enumerating Well-Typed Terms Generically
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Software Construction Using Typed Fragments
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science