Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Antoine Marot
Fast Type Reconstruction for Dynamically Typed Programming Languages
Related publications
"May You Have a Strong (-Typed) Foundation" Why Strong-Typed Programming Languages Do Matter
Type-Directed Weaving of Aspects for Polymorphically Typed Functional Languages
Science of Computer Programming
Software
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Dependently Typed Programming
Progress in Informatics
Run-Time Support for Distributed Sharing in Typed Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Programming Languages for Mobile Code
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Figure 8: Acceptance Rates for Men and Women Using Matched Data by File Type for Programming Languages (A) and Non-Programming Languages (B).
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
