Pure and Lazy Lambda Mining

Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Original languageUndefined/Unknown
Title of host publicationImplementation and Application of Functional Languages
EditorsRalf Hinze
PublisherSpringer Berlin Heidelberg
Number of pages17
Publication statusPublished - 2013

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg

Cite this