Andrew D. Gordon. Functional Programming and Input/Output. PhD thesis, University of Cambridge Computer Laboratory, February 1993. Available as Technical Report 285. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
An Operational Semantics for I/O in a Lazy Functional Language - Gordon (1993) Self-citation (Gordon) (Correct)
....semantics and contextual equality for a small functional language. H is essentially a core fragment of Haskell; it would be impractical to work with the full language. The focus of this paper is functional I O and so H is treated here only briefly; full details and proofs can be found elsewhere [7]. The syntax of H is given by a BNF grammar in Figure 1. Variables oe and range over types and variable X over an infinite set of type variables. There is a type Int of numbers, together with function types and algebraic types, Each algebraic type is a potentially recursive sum ofproducts, ....
....significant ways. First, a call by value function application, e1e2 ) is included; callby value is not expressible in Haskell but is frequently included in lazy language implementations. 1 Call by value is included mainly because it was used in certain programs in the author s dissertation [7], but also for technical reasons explained in the penultimate paragraph of this section. Second, recursive functions or data are constructed using a recursion operator, rec(x: e) rather than recursion equations. Finally, a case term in H simply discriminates between the different constructors of ....
[Article contains additional citation context not shown here]
Andrew D. Gordon. Functional Programming and Input /Output. PhD thesis, Computer Laboratory, University of Cambridge, February 1993. Available as Technical Report 285.
Completeness of Bisimilarity for Contextual Equivalence in Linear.. - Crole (2001) (Correct)
No context found.
Andrew D. Gordon. Functional Programming and Input/Output. PhD thesis, University of Cambridge Computer Laboratory, February 1993. Available as Technical Report 285.
Completeness of Bisimilarity for Contextual Equivalence in Linear.. - Crole (Correct)
No context found.
Andrew D. Gordon. Functional Programming and Input/Output. PhD thesis, University of Cambridge Computer Laboratory, February 1993. Available as Technical Report 285.
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