Grammars for functional languages

Thomas A. Sudkamp

doi:10.1145/324634.325229

Grammars for functional languages

Thomas A. Sudkamp

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

In the 1977 Turing award lecture [1] Backus introduced the applicative language FP and extended the language in [2]. It is a language driven by the notion of functional composition. Following the standard mathematical approach the method of evaluation was an innermost first composition driven strategy.

Original language	English
Title of host publication	CSC '86: Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Publisher	Association for Computing Machinery, Inc
Pages	155-163
Number of pages	9
ISBN (Electronic)	0897911776, 9780897911771
DOIs	https://doi.org/10.1145/324634.325229
State	Published - Feb 1 1986
Event	1986 ACM 14th Annual Conference on Computer Science - Cincinnati, United States Duration: Feb 4 1986 → Feb 6 1986 Conference number: 14

Conference

Conference	1986 ACM 14th Annual Conference on Computer Science
Abbreviated title	CSC 1986
Country/Territory	United States
City	Cincinnati
Period	2/4/86 → 2/6/86

ASJC Scopus Subject Areas

General Computer Science

Keywords

Language and languages
Semantics (Philosophy)
Construction grammar

Disciplines

Computer Sciences
Engineering
Mathematics
Physical Sciences and Mathematics

Access to Document

10.1145/324634.325229

Cite this

@inproceedings{4692d7b0fbbf42dbb5e7a81eab618d5b,

title = "Grammars for functional languages",

abstract = " In the 1977 Turing award lecture [1] Backus introduced the applicative language FP and extended the language in [2]. It is a language driven by the notion of functional composition. Following the standard mathematical approach the method of evaluation was an innermost first composition driven strategy.",

keywords = "Language and languages, Semantics (Philosophy), Construction grammar",

author = "Sudkamp, {Thomas A.}",

year = "1986",

month = feb,

day = "1",

doi = "10.1145/324634.325229",

language = "English",

pages = "155--163",

booktitle = "CSC '86: Proceedings of the 1986 ACM fourteenth annual conference on Computer science",

publisher = "Association for Computing Machinery, Inc",

note = "1986 ACM 14th Annual Conference on Computer Science ; Conference date: 04-02-1986 Through 06-02-1986",

}

TY - GEN

T1 - Grammars for functional languages

AU - Sudkamp, Thomas A.

N1 - Conference code: 14

PY - 1986/2/1

Y1 - 1986/2/1

N2 - In the 1977 Turing award lecture [1] Backus introduced the applicative language FP and extended the language in [2]. It is a language driven by the notion of functional composition. Following the standard mathematical approach the method of evaluation was an innermost first composition driven strategy.

AB - In the 1977 Turing award lecture [1] Backus introduced the applicative language FP and extended the language in [2]. It is a language driven by the notion of functional composition. Following the standard mathematical approach the method of evaluation was an innermost first composition driven strategy.

KW - Language and languages

KW - Semantics (Philosophy)

KW - Construction grammar

UR - http://www.scopus.com/inward/record.url?scp=84976783407&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84976783407&partnerID=8YFLogxK

UR - https://corescholar.libraries.wright.edu/cse/448

U2 - 10.1145/324634.325229

DO - 10.1145/324634.325229

M3 - Conference contribution

SP - 155

EP - 163

BT - CSC '86: Proceedings of the 1986 ACM fourteenth annual conference on Computer science

PB - Association for Computing Machinery, Inc

T2 - 1986 ACM 14th Annual Conference on Computer Science

Y2 - 4 February 1986 through 6 February 1986

ER -

Grammars for functional languages

Abstract

Conference

ASJC Scopus Subject Areas

Keywords

Disciplines

Access to Document

Other files and links

Cite this