Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Éric Tanter
First-Class State Change in Plaid
ACM SIGPLAN Notices
Computer Science
Composition of Dynamic Analysis Aspects
ACM SIGPLAN Notices
Computer Science
Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Approximate Normalization for Gradual Dependent Types
Proceedings of the ACM on Programming Languages
Dijkstra Monads for All
Proceedings of the ACM on Programming Languages
A Reasonably Exceptional Type Theory
Proceedings of the ACM on Programming Languages
An Empirical Study of the Influence of Static Type Systems on the Usability of Undocumented Software
An Empirical Study of Goto in C Code
A Semantics for Execution Levels With Exceptions
