Tytuł
Stochastic Program Synthesis via Recursion Schemes
Autorzy
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] pracownik
Dyscyplina naukowa (Ustawa 2.0)
Rok publikacji
2019
Typ rozdziału
rozdział w monografii naukowej / referat
Język publikacji
angielski
Słowa kluczowe
EN
- program synthesis
- algebraic data types
- catamorphisms
- patternmatching
- recursion schemes
Strony (od-do)
35 - 36
Typ licencji
CC BY-NC (uznanie autorstwa - użycie niekomercyjne)
Tryb otwartego dostępu
witryna wydawcy
Wersja tekstu w otwartym dostępie
ostateczna wersja opublikowana
Data udostępnienia publikacji w sposób otwarty
w momencie opublikowania
Punktacja MNiSW / rozdział
20
Punktacja MNiSW / konferencja (CORE)
140
System tworzony przez Politechnikę Poznańską
i Poznańskie Centrum Superkomputerowo-Sieciowe
Wróć do góry
Zaloguj się przez eKonto, aby dodać do SIN