Copertina

Galois connecting call-by-value and call-by-name

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	McDermott, Dylan, Mycroft, Alan
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Denotational reasoning for asynchronous multiparty session types
di: McDermott, Dylan, et al.
Pubblicazione: (2026)

Abstract clones for abstract syntax
di: Arkor, Nathanael, et al.
Pubblicazione: (2021)

ASC-Hook: fast and transparent system call hook for Arm
di: Shen, Yang, et al.
Pubblicazione: (2024)

Galois Slicing as Automatic Differentiation
di: Atkey, Robert, et al.
Pubblicazione: (2025)

ToolCaching: Towards Efficient Caching for LLM Tool-calling
di: Zhai, Yi, et al.
Pubblicazione: (2026)

Encoding call-by-push-value in the pi-calculus
di: Bennetzen, Benjamin, et al.
Pubblicazione: (2025)

The formal theory of relative monads
di: Arkor, Nathanael, et al.
Pubblicazione: (2023)

Presheaves and cocompletions in formal category theory
di: Arkor, Nathanael, et al.
Pubblicazione: (2026)

Relative monadicity
di: Arkor, Nathanael, et al.
Pubblicazione: (2023)

The nerve theorem for relative monads
di: Arkor, Nathanael, et al.
Pubblicazione: (2024)

A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
di: Kaddar, Younesse, et al.
Pubblicazione: (2023)

LoLA: Low-Rank Linear Attention With Sparse Caching
di: McDermott, Luke, et al.
Pubblicazione: (2025)

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
di: Zhang, Dylan, et al.
Pubblicazione: (2025)

Toxic Inclusivity: When Student Support Centers Fall Victim to Neoliberalism
di: Nike Jacob, et al.
Pubblicazione: (2025)

Embedding Compression for Efficient Re-Identification
di: McDermott, Luke
Pubblicazione: (2024)

THE WESTERN PACIFIC BRACHYURAN HEMIGRAPSUS SANGUINEUS (GRAPSIDAE) IN ITS NEW HABITAT ALONG THE ATLANTIC COAST OF THE UN11ED STATES: REPRODUCTION
di: McDermott, J
Pubblicazione: (1988)

REPRODUCTION IN THE HERMIT CRAB PAGURUS LONGICARPUS (DECAPODA: ANOMURA) FROM THE COAST OF NEW JERSEY
di: McDermott, J
Pubblicazione: (1985)

Optimizing Byte-level Representation for End-to-end ASR
di: Hsiao, Roger, et al.
Pubblicazione: (2024)

MAG$π$!: The Role of Replication in Typing Failure-Prone Communication
di: Brun, Matthew Alan Le, et al.
Pubblicazione: (2024)

Privacy-Respecting Type Error Telemetry at Scale
di: Greenman, Ben, et al.
Pubblicazione: (2024)

Multiparty Session Types with a Bang!
di: Brun, Matthew Alan Le, et al.
Pubblicazione: (2025)

From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers
di: Zhang, Dylan, et al.
Pubblicazione: (2024)

Energy without Conscience
di: Hughes, David McDermott
Pubblicazione: (2017)

Energy without Conscience
di: Hughes, David McDermott
Pubblicazione: (2017)

Neuroqueering Physics Literacy
di: McDermott, Liam G.
Pubblicazione: (2023)

Food, feeding behavior and feeding ecology of nemerteans. / John J. McDermott
di: McDermott, John J
Pubblicazione: (1985)

Aeromonas sp. infection in Great Lakes lampreys
di: McDermott, L. A
Pubblicazione: (1968)

Curb Cuts on the Information Superhighway: Making the Web Accessible.
di: McDermott, Irene E.
Pubblicazione: (2001)

Searchers on the Beachhead: The Internet Librarian Conference at Monterey.
di: McDermott, Irene E.
Pubblicazione: (1998)

Down These Mean Links a Child Might Go: Safety Tips for Travel on the Open Web.
di: McDermott, Irene E.
Pubblicazione: (1999)

Virtual Reference for a Real Public.
di: McDermott, Irene E.
Pubblicazione: (1998)

Internet Instruction: Spreading the Web.
di: McDermott, Irene E.
Pubblicazione: (2000)

Youth Stuck on Web!: The Internet for Children.
di: McDermott, Irene E.
Pubblicazione: (2000)

Reference and the Bottom Line in the City of Industry.
di: McDermott, Irene E.
Pubblicazione: (1998)

POSIBILIDADES DE “CONFLUENCIA” ENTRE LA(S) HISTORIA(S) AMBIENTAL(ES) Y LOS ESTUDIOS CTS: LAS ÁREAS DE CONSERVACIÓN COMO EJEMPLO ANALÍTICO
di: Anthony Goebel McDermott
Pubblicazione: (2016)

$\textbf{PLUM}$: Improving Code LMs with Execution-Guided On-Policy Preference Learning Driven By Synthetic Test Cases
di: Zhang, Dylan, et al.
Pubblicazione: (2024)

Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs
di: Vandevoort, Brecht, et al.
Pubblicazione: (2025)

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
di: McCann, Alan L.
Pubblicazione: (2026)

Octopus: On-device language model for function calling of software APIs
di: Chen, Wei, et al.
Pubblicazione: (2024)

Delayed Fusion: Integrating Large Language Models into First-Pass Decoding in End-to-end Speech Recognition
di: Hori, Takaaki, et al.
Pubblicazione: (2025)