Application Patterns

N.N. Oosterhof, P.K.F. Holzenspies, Jan Kuper

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

19 Downloads (Pure)

Abstract

We present a generalization of patterns as used in definitions in functional languages, called application patterns. They consist of a function applied to arguments. While matchin such a pattern against an actual argument, inverse functions are used to find the binding of variables to values. Application patterns are universal in the sense that they include list, tuple, algebraic and n+k patterns.
Original languageUndefined
Title of host publicationTrends in Functional Programming
EditorsM. van Eekelen
Place of PublicationTallinn
PublisherTartu University Press
Pages370-382
Number of pages13
ISBN (Print)9985-894-88-X
Publication statusPublished - Sep 2005

Publication series

Name
PublisherTartu University Press

Keywords

  • EWI-7687
  • IR-66544
  • METIS-227810

Cite this

Oosterhof, N. N., Holzenspies, P. K. F., & Kuper, J. (2005). Application Patterns. In M. van Eekelen (Ed.), Trends in Functional Programming (pp. 370-382). Tallinn: Tartu University Press.
Oosterhof, N.N. ; Holzenspies, P.K.F. ; Kuper, Jan. / Application Patterns. Trends in Functional Programming. editor / M. van Eekelen. Tallinn : Tartu University Press, 2005. pp. 370-382
@inproceedings{de353db87c174ed594b46ea5ee664625,
title = "Application Patterns",
abstract = "We present a generalization of patterns as used in definitions in functional languages, called application patterns. They consist of a function applied to arguments. While matchin such a pattern against an actual argument, inverse functions are used to find the binding of variables to values. Application patterns are universal in the sense that they include list, tuple, algebraic and n+k patterns.",
keywords = "EWI-7687, IR-66544, METIS-227810",
author = "N.N. Oosterhof and P.K.F. Holzenspies and Jan Kuper",
note = "Imported from HMI Corrected by P.K.F. H{\~A}¶lzenspies",
year = "2005",
month = "9",
language = "Undefined",
isbn = "9985-894-88-X",
publisher = "Tartu University Press",
pages = "370--382",
editor = "{van Eekelen}, M.",
booktitle = "Trends in Functional Programming",
address = "Estonia",

}

Oosterhof, NN, Holzenspies, PKF & Kuper, J 2005, Application Patterns. in M van Eekelen (ed.), Trends in Functional Programming. Tartu University Press, Tallinn, pp. 370-382.

Application Patterns. / Oosterhof, N.N.; Holzenspies, P.K.F.; Kuper, Jan.

Trends in Functional Programming. ed. / M. van Eekelen. Tallinn : Tartu University Press, 2005. p. 370-382.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

TY - GEN

T1 - Application Patterns

AU - Oosterhof, N.N.

AU - Holzenspies, P.K.F.

AU - Kuper, Jan

N1 - Imported from HMI Corrected by P.K.F. Hölzenspies

PY - 2005/9

Y1 - 2005/9

N2 - We present a generalization of patterns as used in definitions in functional languages, called application patterns. They consist of a function applied to arguments. While matchin such a pattern against an actual argument, inverse functions are used to find the binding of variables to values. Application patterns are universal in the sense that they include list, tuple, algebraic and n+k patterns.

AB - We present a generalization of patterns as used in definitions in functional languages, called application patterns. They consist of a function applied to arguments. While matchin such a pattern against an actual argument, inverse functions are used to find the binding of variables to values. Application patterns are universal in the sense that they include list, tuple, algebraic and n+k patterns.

KW - EWI-7687

KW - IR-66544

KW - METIS-227810

M3 - Conference contribution

SN - 9985-894-88-X

SP - 370

EP - 382

BT - Trends in Functional Programming

A2 - van Eekelen, M.

PB - Tartu University Press

CY - Tallinn

ER -

Oosterhof NN, Holzenspies PKF, Kuper J. Application Patterns. In van Eekelen M, editor, Trends in Functional Programming. Tallinn: Tartu University Press. 2005. p. 370-382