Zobrazeno 1 - 10
of 949
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
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::931955470d63607ffcc09f49644865b1
https://doi.org/10.1145/3547642
https://doi.org/10.1145/3547642
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
Autor:
Alberto Abello, James Cheney
Publikováno v:
SSRN Electronic Journal.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ff843f11aec056144a10f6d41b936974
https://doi.org/10.2139/ssrn.4184515
https://doi.org/10.2139/ssrn.4184515
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
Publikováno v:
Bartha, S, Cheney, J & Belle, V 2021, ' One Down, 699 to Go: or, synthesising compositional desugarings ', Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA, 122 . https://doi.org/10.1145/3485499
Programming or scripting languages used in real-world systems are seldom designed with a formal semantics in mind from the outset. Therefore, developing well-founded analysis tools for these systems requires reverse-engineering a formal semantics as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a7013eaed2aa6a60a67b63f9cb712787
https://hdl.handle.net/20.500.11820/108941ce-8bf2-4a99-949e-dd535a2aad69
https://hdl.handle.net/20.500.11820/108941ce-8bf2-4a99-949e-dd535a2aad69
