Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Sébastien Carlier"'
Autor:
Björn Broge, Anton Petkov, Sébastien Carlier, Constance Stegbauer, Joachim Szecsenyi, Jan-Philipp Beck, Véronique Crône, Beata Mianowska, Mikolaj Gurdala, Cécile Delval, George Binkley, Pieter Gillard, Eric Renard, Lutz Heinemann, Volker Lodwig, Magda Rosenmöller, Freimut Schliess, Tim Heise, Katarzyna Cypryk, Chantal Mathieu, Carsten Benesch
Publikováno v:
Dadun. Depósito Académico Digital de la Universidad de Navarra
instname
Journal of diabetes science and technology
Journal of diabetes science and technology, Diabetes Technology Society, 2018, pp.1932296818803588. ⟨10.1177/1932296818803588⟩
Journal of Diabetes Science and Technology
instname
Journal of diabetes science and technology
Journal of diabetes science and technology, Diabetes Technology Society, 2018, pp.1932296818803588. ⟨10.1177/1932296818803588⟩
Journal of Diabetes Science and Technology
In the last 10 years tremendous progress has been made in the development of artificial pancreas (AP) systems for people with type 1 diabetes (T1D). The pan-European consortium CLOSE (Automated Glu cose Contro l at H ome for People with Chronic Disea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3642f8a34fa0ed68a860964a82aa9646
https://hdl.handle.net/10171/62675
https://hdl.handle.net/10171/62675
Publikováno v:
EasyChair Preprints.
Following the introduction of BNF notation by Backus for the Algol 60 report and subsequent notational variants, a metalanguage involving formal “grammars” has developed for discussing structured objects in Computer Science and Mathematical Logic
Autor:
Sébastien Carlier, Joseph Brian Wells
Publikováno v:
Fundamenta Informaticae. 121:43-82
Expansion is an operation on typings pairs of type environments and result types in type systems for the λ-calculus. Expansion was originally introduced for calculating possible typings of a λ-term in systems with intersection types. This paper aim
Autor:
Sébastien Carlier
Publikováno v:
Electronic Notes in Theoretical Computer Science. 70(1):37-52
We present a type system featuring intersection types and ω, a type constant which is assigned to unused terms. We exploit and extend the technology of expansion variables from the recently developed System I, with which we believe our system shares
Autor:
Sébastien Carlier, Joseph Brian Wells
Publikováno v:
PPDP
System E is a recently designed type system for the λ-calculus with intersection types and expansion variables. During automatic type inference, expansion variables allow postponing decisions about which non-syntax-driven typing rules to use until t
Publikováno v:
Programming Languages and Systems ISBN: 9783540213130
ESOP
ESOP
Types are often used to control and analyze computer programs. Intersection types give great flexibility, but have been difficult to implement. The ! operator, used to distinguish between linear and non-linear types, has good potential for better res
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::88e79c7cd4c0536df4495d7a0222b62e
https://doi.org/10.1007/978-3-540-24725-8_21
https://doi.org/10.1007/978-3-540-24725-8_21