ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Advanced Topics in Types and Programming Languages
Latest Publications
TOTAL DOCUMENTS
13
(FIVE YEARS 0)
H-INDEX
1
(FIVE YEARS 0)
Published By The MIT Press
9780262281591
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
References
Advanced Topics in Types and Programming Languages
◽
10.7551/mitpress/1104.003.0018
◽
2004
◽
Download Full-text
Design Considerations for ML-Style Module Systems
Advanced Topics in Types and Programming Languages
◽
10.7551/mitpress/1104.003.0013
◽
2004
◽
Keyword(s):
Design Considerations
◽
Module Systems
Download Full-text
Typed Assembly Language
Advanced Topics in Types and Programming Languages
◽
10.7551/mitpress/1104.003.0007
◽
2004
◽
Keyword(s):
Assembly Language
◽
Typed Assembly Language
Download Full-text
Effect Types and Region-Based Memory Management
Advanced Topics in Types and Programming Languages
◽
10.7551/mitpress/1104.003.0005
◽
2004
◽
Keyword(s):
Memory Management
Download Full-text
The Essence of ML Type Inference
Advanced Topics in Types and Programming Languages
◽
10.7551/mitpress/1104.003.0016
◽
2004
◽
Keyword(s):
Type Inference
Download Full-text
Index
Advanced Topics in Types and Programming Languages
◽
10.7551/mitpress/1104.003.0019
◽
2004
◽
Download Full-text
A Solutions to Selected Exercises
Advanced Topics in Types and Programming Languages
◽
10.7551/mitpress/1104.003.0017
◽
2004
◽
Download Full-text
Typed Operational Reasoning
Advanced Topics in Types and Programming Languages
◽
10.7551/mitpress/1104.003.0011
◽
2004
◽
Download Full-text
Logical Relations and a Case Study in Equivalence Checking
Advanced Topics in Types and Programming Languages
◽
10.7551/mitpress/1104.003.0010
◽
2004
◽
Keyword(s):
Equivalence Checking
Download Full-text
Dependent Types
Advanced Topics in Types and Programming Languages
◽
10.7551/mitpress/1104.003.0004
◽
2004
◽
Keyword(s):
Dependent Types
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close