A Second-order pattern matching algorithm for the cube of typed lambda-calculi - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1992

A Second-order pattern matching algorithm for the cube of typed lambda-calculi

Gilles Dowek
  • Function : Author

Abstract

Résumé disponble dans les fichiers attachés

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1585.pdf (1.26 Mo) Télécharger le fichier

Dates and versions

inria-00074975 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00074975 , version 1

Cite

Gilles Dowek. A Second-order pattern matching algorithm for the cube of typed lambda-calculi. [Research Report] RR-1585, INRIA. 1992. ⟨inria-00074975⟩
60 View
42 Download

Share

Gmail Facebook Twitter LinkedIn More