Amanote Research
Register
Sign In
Typed Regions
doi 10.21236/ada436492
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2005
Authors
Stefan Monnier
Zhong Shao
Publisher
Defense Technical Information Center
Related search
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