E-LIB Suche - Ergebnisse für: Kiselyov, Oleg

1

MetaOCaml: Ten Years Later: System Description:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

Kiselyov, Oleg - p. 219-236 , 2024

Link: https://doi.org/10.1007/..

2

Complete Stream Fusion for Software-Defined Radio:

, In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation,

Kobayashi, Tomoaki ; Kiselyov, Oleg - p. 57-69 , 2024

Link: https://dl.acm.org/doi/1..

3

Towards a Theory of Anaphoric Binding in Event Semantics:

, In: Lecture Notes in Computer Science; Logic and Engineering of Natural Language Semantics,

Kiselyov, Oleg - p. 55-67 , 2024

Link: https://doi.org/10.1007/..

4

Generating C: Heterogeneous metaprogramming system descript..:

Kiselyov, Oleg
Science of Computer Programming. 231 (2024) - p. 103015 , 2024

Link: https://doi.org/10.1016/..

5

Events and Relative Clauses:

, In: Lecture Notes in Computer Science; Logic and Engineering of Natural Language Semantics,

Kiselyov, Oleg ; Watanabe, Haruki - p. 18-30 , 2023

Link: https://doi.org/10.1007/..

6

QNP Textual Entailment with Polynomial Event Semantics:

, In: New Frontiers in Artificial Intelligence; Lecture Notes in Computer Science,

Kiselyov, Oleg ; Watanabe, Haruki - p. 198-211 , 2023

Link: https://doi.org/10.1007/..

7

Generating C: System Description:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

Kiselyov, Oleg - p. 75-93 , 2022

Link: https://doi.org/10.1007/..

8

Polynomial Event Semantics: Negation:

, In: New Frontiers in Artificial Intelligence; Lecture Notes in Computer Science,

Kiselyov, Oleg - p. 82-95 , 2021

Link: https://doi.org/10.1007/..

9

Not by equations alone: Reasoning with extensible effects:

KISELYOV, OLEG ; MU, SHIN-CHENG ; SABRY, AMR
Journal of Functional Programming. 31 (2021) - p. , 2021

Link: https://doi.org/10.1017/..

10

Session Types Without Sophistry: System Description:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

Kiselyov, Oleg ; Imai, Keigo - p. 66-87 , 2020

Link: https://doi.org/10.1007/..

11

Many more predecessors: A representation workout:

KISELYOV, OLEG
Journal of Functional Programming. 30 (2020) - p. , 2020

Link: https://doi.org/10.1017/..

12

Lambek Grammars as Second-Order Abstract Categorial Grammar:

, In: New Frontiers in Artificial Intelligence; Lecture Notes in Computer Science,

Kiselyov, Oleg ; Hoshino, Yuya - p. 231-243 , 2020

Link: https://doi.org/10.1007/..

13

Generating mutually recursive definitions:

, In: Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,

Yallop, Jeremy ; Kiselyov, Oleg - p. 75-81 , 2019

Link: https://dl.acm.org/doi/1..

14

Polynomial Event Semantics: Non-Montagovian Proper Treatmen..:

, In: New Frontiers in Artificial Intelligence; Lecture Notes in Computer Science,

Kiselyov, Oleg - p. 313-324 , 2019

Link: https://doi.org/10.1007/..

15

Preface:

Kiselyov, Oleg ; King, Andy
Science of Computer Programming. 164 (2018) - p. 1-2 , 2018

Link: https://doi.org/10.1016/..