Zobrazeno 1 - 10
of 155
pro vyhledávání: '"James Cheney"'
Autor:
Wilmer Ricciotti, James Cheney
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
Language-integrated query is a powerful programming construct allowing database queries and ordinary program code to interoperate seamlessly and safely. Language-integrated query techniques rely on classical results about the nested relational calcul
Externí odkaz:
https://doaj.org/article/90209dfc63a74f578fb6584d39787374
Publikováno v:
International Journal of Digital Curation, Vol 16, Iss 1 (2021)
Curated databases have become important sources of information across several scientific disciplines, and as the result of manual work of experts, often become important reference works. Features such as provenance tracking, archiving, and data citat
Externí odkaz:
https://doaj.org/article/55c61aeebf4d4ab6882c4f11d7d8bfac
Publikováno v:
International Journal of Digital Curation, Vol 15, Iss 1 (2020)
Curated databases have become important sources of information across several scientific disciplines, and as the result of manual work of experts, often become important reference works. Features such as provenance tracking, archiving, and data citat
Externí odkaz:
https://doaj.org/article/37930fea58a949f791be9deddadfbf77
Autor:
Roly Perera, James Cheney
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 185, Iss Proc. LFMTP 2015, Pp 46-70 (2015)
Formalising the pi-calculus is an illuminating test of the expressiveness of logical frameworks and mechanised metatheory systems, because of the presence of name binding, labelled transitions with name extrusion, bisimulation, and structural congrue
Externí odkaz:
https://doaj.org/article/37bdb387adb04f4ab3dc9abb77a3ee74
Autor:
Timothy McPhillips, Tianhong Song, Tyler Kolisnik, Steve Aulenbach, Khalid Belhajjame, R. Kyle Bocinsky, Yang Cao, James Cheney, Fernando Chirigati, Saumen Dey, Juliana Freire, Christopher Jones, James Hanken, Keith W. Kintigh, Timothy A. Kohler, David Koop, James A. Macklin, Paolo Missier, Mark Schildhauer, Christopher Schwalm, Yaxing Wei, Mark Bieda, Bertram Ludäscher
Publikováno v:
International Journal of Digital Curation, Vol 10, Iss 1, Pp 298-313 (2015)
Scientific workflow management systems offer features for composing complex computational pipelines from modular building blocks, executing the resulting automated workflows, and recording the provenance of data products resulting from workflow runs.
Externí odkaz:
https://doaj.org/article/b89409ae8aa448d2b82c585624578f4c
Publikováno v:
International Journal of Digital Curation, Vol 7, Iss 1, Pp 39-56 (2012)
From where did this tweet originate? Was this quote from the New York Times modified? Daily, we rely on data from the Web, but often it is difficult or impossible to determine where it came from or how it was produced. This lack of provenance is part
Externí odkaz:
https://doaj.org/article/8e87a9cd2532457abd5f9efc0ef7755b
Autor:
James Cheney
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 26, Iss Proc. DCM 2010, Pp 63-74 (2010)
Provenance, or information about the sources, derivation, custody or history of data, has been studied recently in a number of contexts, including databases, scientific workflows and the Semantic Web. Many provenance mechanisms have been developed, m
Externí odkaz:
https://doaj.org/article/9d15afd8df474939bf0204666ed38fe7
Autor:
James Cheney
Publikováno v:
Logical Methods in Computer Science, Vol Volume 8, Issue 1 (2012)
Nominal abstract syntax is an approach to representing names and binding pioneered by Gabbay and Pitts. So far nominal techniques have mostly been studied using classical logic or model theory, not type theory. Nominal extensions to simple, dependent
Externí odkaz:
https://doaj.org/article/e8c22a8342794a498f7d6fc552cb42cb
Publikováno v:
Emrich, F, Stolarek, J, Cheney, J & Lindley, S 2022, ' Constraint-based type inference for FreezeML ', Proceedings of the ACM on Programming Languages, vol. 6, no. ICFP, 111, pp. 570-595 . https://doi.org/10.1145/3547642
FreezeML is a new approach to first-class polymorphic type inference that employs term annotations to control when and how polymorphic types are instantiated and generalised. It conservatively extends Hindley-Milner type inference and was first prese
Autor:
Alberto Abello, James Cheney
Publikováno v:
SSRN Electronic Journal.