O. Bastonero, A. Pravato, S. Ronchi della Rocca  Home/Search
Context Related
Links: ACM DBLP | lambda.di.unito.it/pub/ron...lazy.ps.gz Cached: PS.gz PS PDF 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.
Image Update HelpPS.gz PS PDF From: strudel.di.unipi.it/p40/p...pubbl (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The paper explores different approaches for modeling the lazy -calculus, which is a paradigmatic language for studying the operational behaviour of programming languages, like Haskell, using a call-by-name and lazy evaluation mechanism. Two models for lazy -calculus in the coherence spaces setting are built. They give a new insight in the behaviour of the language since their local structures are different from the one of all existing models in the literature. In order to compare different... (Update)
Context of citations to this paper: More
.... calculus, but intersection type disciplines are also suitable for describing models of the I calculus [9, 55] of the lazy calculus [2, 18], of the call by value calculus (introduced by Plotkin in [74] 49, 78, 79] and of some extensions of the calculus which include...
...theory. The above properties follow immediately from the fact that there exist adequate models for the lazy calculus (see [AO93,AM95a,BPR98] 3 The categories of monotonic games In this section, we de ne the two categories of games employed in this article. These two...
Cited by: More
Intersection Types, λ-models, and Böhm Trees - Dezani-Ciancaglini.. (Correct)
Operational Semantics and Extensionality - Simona Ronchi Della (2000) (Correct)
Game Semantics for the Pure Lazy λ-Calculus - Di Gianantonio (Correct)
Similar documents (at the sentence level):
50.2%: Structures for Lazy Semantics - Bastonero, Pravato, Rocca (1997) (Correct)
Active bibliography (related documents): More All
0.5: A Category-theoretic characterization of functional completeness - Longo, Moggi (1990) (Correct)
0.5: Discrimination by Parallel Observers: the Algorithm - Dezani-Ciancaglini, Tiuryn, .. (1998) (Correct)
0.3: Strong Stability and the Incompleteness of Stable Models for - Calculus Olivier Bastonero (Correct)
Similar documents based on text: More All
0.9: Note Coherence spaces are untopological - Bethke (1999) (Correct)
0.4: Comparing Cubes - van Bakel, Liquori, Rocca, Urzyczyn (Correct)
0.3: Structured Operational Semantics of a fragment of the.. - Honsell, Pravato, Rocca (1993) (Correct)
Related documents from co-citation: More All
3: The Call-by-value Lambdacalculus: a Semantic Investigation - Pravato, della et al.
3: Full Abstraction in the Lazy Lambda Calculus (context) - Abramsky, Ong - 1993
3: The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
BibTeX entry: (Update)
O.Bastonero, A. Pravato, S. Ronchi della Rocca "Structures for Lazy Semantics ", PROCOMET '98, Chapman & Hall, London, 1998, 30-48. http://citeseer.ist.psu.edu/bastonero98structures.html More
@misc{ bastonero98structures,
author = "O. Bastonero and A. Pravato and S. della",
title = "Structures for Lazy Semantics",
text = "O.Bastonero, A. Pravato, S. Ronchi della Rocca Structures for Lazy Semantics
, PROCOMET '98, Chapman & Hall, London, 1998, 30-48.",
year = "1998",
url = "citeseer.ist.psu.edu/bastonero98structures.html" }
Citations (may not include all citations):268 Proofs and Types (context) - Girard, Lafont et al. - 1989 ACM
257 Report on the programming language haskell (context) - Hudak, Jones et al. - 1992 ACM
130 Full abstraction in the lazy lambda calculus (context) - Abramsky, Ong - 1993 ACM DBLP
33 A syntactic characterization of the equality in some models .. (context) - Hyland - 1976
30 Algebras and combinators (context) - Engeler - 1981
29 Lambda-calculus models and extensionality (context) - Hindley, Longo - 1980
19 Types and Structures (context) - Asperti, Longo - 1991
5 An algebraic interpretation of the fiK-calculus and a labell.. (context) - Levy - 1975
5 Categorical semantics of the call-by-value lambda-calculus (context) - Pravato, Ronchi et al. - 1995 ACM DBLP
5 Reasoning about interpretations in qualitative lambda models (context) - Honsell, Ronchi - 1990
4 Strong stability and the incompleteness of the class of stab.. (context) - Bastonero, Gouy - 1987
3 Approximate reductions and -calculus models (context) - Wadsworth - 1978
2 Lazy lambda calculus: Theories (context) - Ong - 1992
2 Set-theoretical models of lambda calculus: Theories, expansi.. (context) - Longo - 1983
2 Modeles fortement stables du lambda-calcul et resultats d'in.. (context) - Bastonero - 1996
1 Some results on the full-abstraction problem for Biography 1.. (context) - Grundlag, -- et al. - 1993
Documents on the same site (http://strudel.di.unipi.it/p40/pubbl/pubbl.html): More
Uniform Closures: Order-Theoretically Reconstructing Logic.. - Giacobazzi, al. (1998) (Correct)
Static Analysis of Processes for No Read-Up and No.. - Bodei, Degano, Nielson.. (1999) (Correct)
Matching for the Lambda Calculus of Objects - Bono, Bugliesi (1998) (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