Generating C: System Description

von Kiselyov, Oleg
Veröffentlicht in FLOPS (16. : 2022 : Online) Functional and logic programming (2022)

Polynomial Event Semantics: Negation

von Kiselyov, Oleg
Veröffentlicht in JSAI-isAI (12. : 2020 : Online) New Frontiers in Artificial Intelligence (2021)

Session Types Without Sophistry: System Description

von Kiselyov, Oleg
Veröffentlicht in FLOPS (15. : 2020 : Online) Functional and logic programming (2020)

Lambek Grammars as Second-Order Abstract Categorial Grammars

von Kiselyov, Oleg
Veröffentlicht in JURISIN (13. : 2019 : Yokohama) New frontiers in artificial intelligence (2020)

The reasoned schemer

von Friedman, Daniel P.
Veröffentlicht 2005

Functional and logic programming : 13th international symposium, FLOPS 2016, Kōchi, Japan, March 4-6, 2016 : proceedings

Veröffentlicht 2016

Special issue of selected papers from FLOPS 2016

Veröffentlicht 2018

The reasoned schemer

von Friedman, Daniel P.
Veröffentlicht 2018