Processing may take a few seconds...

Article


Title

Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire

Authors

[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] employee

Scientific discipline (Law 2.0)

[2.3] Information and communication technology

Year of publication

2019

Published in

Genetic Programming and Evolvable Machines

Journal year: 2019 | Journal volume: vol. 20 | Journal number: iss. 3

Article type

scientific article

Publication language

english

Keywords
EN
  • program synthesis
  • Algebraic Data Types
  • recursion schemes
  • catamorphisms
  • pattern matching
Date of online publication

14.03.2019

Pages (from - to)

327 - 350

DOI

10.1007/s10710-019-09347-3

URL

https://link.springer.com/article/10.1007/s10710-019-09347-3

License type

CC BY (attribution alone)

Open Access Text Version

final published version

Date of Open Access to the publication

at the time of publication

Points of MNiSW / journal

70.0

Points of MNiSW / journal in years 2017-2021

70.0

Impact Factor

1.781

This website uses cookies to remember the authenticated session of the user. For more information, read about Cookies and Privacy Policy.