Title
Stochastic Program Synthesis via Recursion Schemes
Authors
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] employee
Scientific discipline (Law 2.0)
Year of publication
2019
Chapter type
chapter in monograph / paper
Publication language
english
Keywords
EN
- program synthesis
- algebraic data types
- catamorphisms
- patternmatching
- recursion schemes
Pages (from - to)
35 - 36
License type
CC BY-NC (attribution - noncommercial)
Open Access Mode
publisher's website
Open Access Text Version
final published version
Date of Open Access to the publication
at the time of publication
Points of MNiSW / chapter
20.0
Points of MNiSW / conference (CORE)
140.0
System created by Poznań University of Technology
and Poznan Supercomputing and Networking Center
Log in through eKonto to add to SIS