Tytuł
Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire
Autorzy
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] pracownik
Dyscyplina naukowa (Ustawa 2.0)
Rok publikacji
2019
Opublikowano w
Typ artykułu
artykuł naukowy
Język publikacji
angielski
Słowa kluczowe
EN
- program synthesis
- Algebraic Data Types
- recursion schemes
- catamorphisms
- pattern matching
Data udostępnienia online
14.03.2019
Strony (od-do)
327 - 350
Typ licencji
CC BY (uznanie autorstwa)
Wersja tekstu w otwartym dostępie
ostateczna wersja opublikowana
Czas udostępnienia publikacji w sposób otwarty
w momencie opublikowania
Punktacja Ministerstwa / czasopismo
70
Punktacja Ministerstwa / czasopismo w ewaluacji 2017-2021
70
Impact Factor
1,781
System tworzony przez Politechnikę Poznańską
oraz Poznańskie Centrum Superkomputerowo-Sieciowe
Zaloguj się przez eKonto, aby dodać do SIN