CMU-CS-98-125 School of Computer Science Carnegie Mellon University...  Home/Search
Context
Related
| cmu.edu/anon/1998/CMUCS98125.ps Cached: PS.gz PS This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PDF Image Update HelpPS.gz PS From: cmu.edu/~fox/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Relational interpretations of type systems are useful for establishing properties of programming languages. For languages with recursive types it is usually difficult to establish the existence of a relational interpretation. The usual approach is to give a denotational semantics of the language in a domain-theoretic model given by an inverse limit construction, and to construct relations over the model by a similar inverse limit construction. However, in passing to a denotational semantics we... (Update)
Similar documents (at the sentence level):
26.2%: Relational Interpretations of Recursive Types in an.. - Birkedal, Harper (1997) (Correct)
Active bibliography (related documents): More All
0.0: Design and Implementation of a Partial Evaluation-Based Compiler .. - Freericks (1996) (Correct)
0.0: Intensional and Extensional Aspects of Java Byte Code - Clausen (1998) (Correct)
0.0: LispMe: An Implementation of Scheme for the Palm Pilot - Bayer (2001) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ of-relational,
author = "Cmu-Cs- School Of",
title = "Relational Interpretations of Recursive Types in an Operational Setting
Lars Birkedal Robert Harper April 24, 1998",
url = "citeseer.ist.psu.edu/752578.html" }
Citations (may not include all citations):254 Revised report on the algorithmic language Scheme - Clinger, Rees - 1991 ACM DBLP
Documents on the same site (http://www.cs.cmu.edu/~fox/publications.html): More
A Modal Analysis of Staged Computation - Davies, Pfenning (1995) (Correct)
Toward a Practical Type Theory for Recursive Modules - Dreyer, Harper, Crary (2001) (Correct)
Replication-Based Incremental Copying Collection - Nettles, O'Toole, Pierce.. (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC