Pure and Lazy Lambda Mining

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

Original language	Undefined/Unknown
Title of host publication	Implementation and Application of Functional Languages
Editors	Ralf Hinze
Publisher	Springer Berlin Heidelberg
Pages	207-223
Number of pages	17
DOIs	https://doi.org/10.1007/978-3-642-41582-1_13
Publication status	Published - 2013

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg

Access to Document

@inbook{ccc433c2f9cf46fcabf392cbfcf76b74,

title = "Pure and Lazy Lambda Mining",

author = "Nicolas Wu and Magalh{\~a}es, \{Jos{\'e} Pedro\} and Jeroen Bransen and Wouter Swierstra",

year = "2013",

doi = "10.1007/978-3-642-41582-1\_13",

language = "Undefined/Unknown",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin Heidelberg",

pages = "207--223",

editor = "Ralf Hinze",

booktitle = "Implementation and Application of Functional Languages",

address = "Germany",

}

TY - CHAP

T1 - Pure and Lazy Lambda Mining

AU - Wu, Nicolas

AU - Magalhães, José Pedro

AU - Bransen, Jeroen

AU - Swierstra, Wouter

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-41582-1_13

DO - 10.1007/978-3-642-41582-1_13

M3 - Other chapter contribution

T3 - Lecture Notes in Computer Science

SP - 207

EP - 223

BT - Implementation and Application of Functional Languages

A2 - Hinze, Ralf

PB - Springer Berlin Heidelberg

ER -