Lee Braine  Home/Search
Context
Related
| cs.ucl.ac.uk/staff/L.Braine...ifl97b.ps 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: cs.ucl.ac.uk/staff/L.Brain...docs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . There have been many attempts to integrate object-oriented and functional programming. Solving the conflicting requirements is difficult and only recently has a language, CLOVER, been designed that is purely functional and purely object-oriented and retains complete type safety. In this paper, we present the implementation of CLOVER: the object-oriented features are translated away in stages and the combination of these stages provides a complete transformation from objectoriented functional... (Update)
Similar documents (at the sentence level):
41.3%: The CLOVER Rewrite Rules: A Translation from OOFP to FP - Braine, Clack (1997) (Correct)
Active bibliography (related documents): More All
0.5: Haxcel: A Spreadsheet Interface to Haskell - Lisper, Malmström (2002) (Correct)
0.4: An Object-Oriented Functional Approach to Information Systems.. - Lee Braine (1997) (Correct)
0.4: Object-Oriented Functional Spreadsheets - Clack, Braine (1997) (Correct)
Similar documents based on text: More All
0.4: Introducing CLOVER: an Object-Oriented Functional Language - Lee Braine (1996) (Correct)
0.4: Object-Flow - Braine, Clack (1997) (Correct)
0.3: for Various Actions : Approaching the Continuum Limit with.. - Bernard Datta Detar (Correct)
BibTeX entry: (Update)
@misc{ braine-implementation,
author = "Lee Braine",
title = "The Implementation of CLOVER: A Translation from OOFP to FP",
url = "citeseer.ist.psu.edu/358028.html" }
Citations (may not include all citations):388 On understanding types (context) - Cardelli, Wegner - 1985
174 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
59 An Extension of Standard ML Modules with Subtyping and Inher.. - Mitchell, Meldal et al. - 1991
53 Static Type Inference in a Dynamically Typed Language - Aiken, Murphy - 1991
52 Towards a Meaning of LIFE (context) - Ait-Kaci, Podelski - 1993
45 Actors: A Conceptual Foundation for Concurrent Object-Orient.. (context) - Agha, Hewitt - 1986
42 Multi-methods in a StaticallyTyped Programming Language (context) - Mugridge, Hamer et al. - 1991
24 Simple Objects for Standard ML - Reppy, Riecke - 1996
21 Objective ML: A simple object-oriented extension of ML - Remy, Vouillon - 1996
10 Object-Flow - Braine, Clack - 1997
8 Introducing CLOVER: an Object-Oriented Functional Language - Braine, Clack - 1996
5 Semantics of Visual Languages (context) - Erwig - 1997
5 a Functional and ObjectOriented Language (context) - Dami, Vitek et al. - 1996
4 An Object-Oriented Functional Approach to Information System.. - Braine, Clack - 1997
2 Object-Oriented Functional Spreadsheets - Clack, Braine - 1997
2 Label-Selective -Calculus (context) - Ait-Kaci, Garrigue - 1993
2 Dynamic Typing and Subtype Inference - Aiken, Fahndrich - 1995
Documents on the same site (http://www.cs.ucl.ac.uk/staff/L.Braine/clover/docs.html): More
An Object-Oriented Functional Approach to Information Systems.. - Lee Braine (1997) (Correct)
Introducing CLOVER: an Object-Oriented Functional Language - Lee Braine (1996) (Correct)
The CLOVER Rewrite Rules: A Translation from OOFP to FP - Braine, Clack (1997) (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