Andrew Butterfield, Glenn Strong  Home/Search
Context
Related
| cs.tcd.ie/pub/tech...TCDCS200131.pdf 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.tcd.ie/publicati...trindex.01 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Syntaxes 13 3.1 Common Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 3.1.1 Common Expressions . . . . . . . . . . . . . . . . . . . . 13 3.1.2 Functional Language Expressions . . . . . . . . . . . . . . 13 3.2 C Abstract Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3.2.1 C Statements . . . . . . . . . . . . . . . . . . . . . . . . . 14 3.2.2 C Programs . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3.3 Clean Abstract Syntax . . . . . . . . . . . . . . ... (Update)
Similar documents (at the sentence level):
52.5%: Comparing Proofs about I/O in Three Programming Paradigms - Butterfield, Strong (2001) (Correct)
Active bibliography (related documents): More All
0.1: A Monadic Interpretation of Tactics - Martin, Gibbons (2002) (Correct)
0.1: La programacion funcional en Haskell - Mari (1995) (Correct)
0.1: Une Interface Graphique Distribuée pour le.. - Gulías.. (1995) (Correct)
Similar documents based on text: More All
0.4: Capita Selecta in Natural Language Semantics - van Eijck (Correct)
0.4: Proving the Temporal Properties of the Unique World - Horváth, Achten.. (1999) (Correct)
0.4: Entities for CFI: CFI Language Design Study Notes - Astesiano, Reggio (1996) (Correct)
BibTeX entry: (Update)
@misc{ butterfield-comparing,
author = "Andrew Butterfield and Glenn Strong",
title = "Comparing Proofs about I/O in Three Programming Paradigms",
url = "citeseer.ist.psu.edu/article/butterfield01comparing.html" }
Citations (may not include all citations):359 The Implementation of Functional Programming Languages (context) - Peyton-Jones - 1987
333 Introduction to Functional Programming (context) - Bird, Wadler - 1988 ACM
227 Kernighan and Dennis M (context) - Brian - 1988
108 Introduction to Functional Programming using Haskell (context) - Bird - 1998
72 Unifying Theories of Programming (context) - Hoare, Jifeng - 1998 DBLP
67 Programming from Specifications (context) - Morgan - 1994 ACM
34 Uniqueness typing for functional languages with graph rewrit.. - Barendsen, Smetsers DBLP
30 Distinguished Dissertations in Computer Science (context) - Gordon, Input - 1994
28 An Introduction to Functional Programming Systems using Hask.. (context) - Davie - 1992 ACM
18 Denotational Semantics (context) - Schmidt - 1988 ACM DBLP
10 Technical report (context) - Jones, Hughes - 1999
9 Blackwell Scientific Publications (context) - Henson, Functional et al. - 1987
7 Prospects for Functional Programming in Software Engineering (context) - Banatre, Jones et al. - 1991 ACM
7 Prentice Hall International (context) - Bird, de Moor et al. - 1987
2 High Level Software Tools B (context) - Plasmeijer, van Eekelen et al. - 1998
Documents on the same site (http://www.cs.tcd.ie/publications/tech-reports/tr-index.01.html): More
A Generic Architecture to Control Jini Services over the Internet - McSweeney (2001) (Correct)
ICTs for Learning. An International Perspective on the.. - Freeman, Holmes, Tangney (2001) (Correct)
A Literate Programming Tool for Concurrent Clean - Strong (2001) (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