E-LIB Suche - Ergebnisse für: Cheney, James

1

Hack me if you can: Aggregating autoencoders for countering..:

Benabderrahmane, Sidahmed ; Hoang, Ngoc ; Valtchev, Petko..
Future Generation Computer Systems. 160 (2024) - p. 926-941 , 2024

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

2

Eris: efficiently measuring discord in multidimensional sou..:

Abelló, Alberto ; Cheney, James
The VLDB Journal. 33 (2023) 2 - p. 399-423 , 2023

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

3

Constraint-based type inference for FreezeML:

Emrich, Frank ; Stolarek, Jan ; Cheney, James.
Proceedings of the ACM on Programming Languages. 6 (2022) ICFP - p. 570-595 , 2022

Link: https://doi.org/10.1145/..

4

Hepatitis B virus-specific CD4 T cell responses differentia..:

Hoogeveen, Ruben C. ; Dijkstra, Suzan ; Bartsch, Lea M....
Journal of Hepatology. 77 (2022) 5 - p. 1276-1286 , 2022

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

5

Language-Integrated Query for Temporal Data:

, In: Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,

Fowler, Simon ; Galpin, Vashti ; Cheney, James - p. 5-19 , 2022

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

6

Nominal Matching Logic:

, In: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming,

Cheney, James ; Fernandez, Maribel - p. 1-15 , 2022

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

7

A Formalization of SQL with Nulls:

Ricciotti, Wilmer ; Cheney, James
Journal of Automated Reasoning. 66 (2022) 4 - p. 989-1030 , 2022

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

8

Strongly-Normalizing Higher-Order Relational Queries:

Ricciotti, Wilmer ; Cheney, James
Logical Methods in Computer Science. 18, Issue 3 (2022) - p. , 2022

Link: https://doi.org/10.46298..

9

Practical Aspects of Declarative Languages: 24th Internatio..

Programming and Software Engineering, 13165

Cheney, James ; Perri, Simona - 1st ed. 2022 . , 2022

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

10

Comprehending nulls:

, In: The 18th International Symposium on Database Programming Languages,

Cheney, James ; Ricciotti, Wilmer - p. 3-6 , 2021

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

11

Query Lifting: Language-integrated query for heterogeneous ..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Ricciotti, Wilmer ; Cheney, James - p. 579-606 , 2021

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

12

One down, 699 to go: or, synthesising compositional desugar..:

Bartha, Sándor ; Cheney, James ; Belle, Vaishak
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-29 , 2021

Link: https://doi.org/10.1145/..

13

A Typed Slicing Compilation of the Polymorphic RPC calculus:

, In: 23rd International Symposium on Principles and Practice of Declarative Programming,

Choi, Kwanghoon ; Cheney, James ; Lindley, Sam. - p. 1-15 , 2021

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

14

One down, 699 to go: or, synthesising compositional desugar..:

Bartha, Sándor ; Cheney, James ; Belle, Vaishak
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-29 , 2021

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

15

Curating Covid-19 Data in Links:

, In: Lecture Notes in Computer Science; Provenance and Annotation of Data and Processes,

Galpin, Vashti ; Cheney, James - p. 237-243 , 2021

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