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

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