Warm Fusion: Deriving Build-Cata s from Recursive Definitions - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

John Launchbury, Tim Sheard. Warm Fusion: Deriving Build-Cata s from Recursive Definitions. In FPCA. pages 314-323, 1995.

@inproceedings{LaunchburyS95,
  title = {Warm Fusion: Deriving Build-Cata s from Recursive Definitions},
  author = {John Launchbury and Tim  Sheard},
  year = {1995},
  researchr = {https://researchr.org/publication/LaunchburyS95},
  cites = {0},
  citedby = {0},
  pages = {314-323},
  booktitle = {FPCA},
}

runs on WebDSL