[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Staff / Current / Mohnen / PUBLICATIONS / Cp ifl96.bib
Printer-friendly

BibTeX Entry: Context Patterns in Haskell

@InProceedings{Mohnen:IFL96,
  author =       "M. Mohnen",
  title =        "{Context Patterns in Haskell}",
  booktitle =    "Selected Papers of the 8th International Workshop on Implementation of Functional Languages (IFL)",
  editor =       "{W. Kluge et.al.}",
  number =       "1268",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer--Verlag",
  year =         "1997",
  abstract =     "{In modern functional languages, pattern matching is
                 used to define functions or expressions by performing
                 an analysis of the \emph{structure of values}. We
                 extend \texttt{Haskell} with a new non--local form of
                 patterns called \emph{context patterns}, which allow
                 the matching of subterms without fixed distance from
                 the root of the whole term. The semantics of context
                 patterns is defined by transforming them to standard
                 \texttt{Haskell} programs. Typical applications of
                 context patterns are functions which \emph{search} a
                 data structure and possibly \emph{transform} it. This
                 concept can easily be adopted for other languages using
                 pattern matching like \texttt{ML} or \texttt{Clean}.}",
  note =         "\url{http://www-i2.informatik.rwth-aachen.de/~mohnen/PUBLICATIONS/cp_ifl96.ps.gz}",
}
      
Valid HTML 4.01 Strict! Valid CSS!