@techreport{laville:inria-00075889, TITLE = {{Lazy pattern matching in the ML language}}, AUTHOR = {Laville, A.}, URL = {https://inria.hal.science/inria-00075889}, NUMBER = {RR-0664}, INSTITUTION = {{INRIA}}, YEAR = {1987}, MONTH = May, PDF = {https://inria.hal.science/inria-00075889/file/RR-0664.pdf}, HAL_ID = {inria-00075889}, HAL_VERSION = {v1}, }