Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	McDermott, Dylan, Mycroft, Alan
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Denotational reasoning for asynchronous multiparty session types
von: McDermott, Dylan, et al.
Veröffentlicht: (2026)

Abstract clones for abstract syntax
von: Arkor, Nathanael, et al.
Veröffentlicht: (2021)

ASC-Hook: fast and transparent system call hook for Arm
von: Shen, Yang, et al.
Veröffentlicht: (2024)

Galois Slicing as Automatic Differentiation
von: Atkey, Robert, et al.
Veröffentlicht: (2025)

ToolCaching: Towards Efficient Caching for LLM Tool-calling
von: Zhai, Yi, et al.
Veröffentlicht: (2026)

Encoding call-by-push-value in the pi-calculus
von: Bennetzen, Benjamin, et al.
Veröffentlicht: (2025)

The formal theory of relative monads
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)

Presheaves and cocompletions in formal category theory
von: Arkor, Nathanael, et al.
Veröffentlicht: (2026)

Relative monadicity
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)

The nerve theorem for relative monads
von: Arkor, Nathanael, et al.
Veröffentlicht: (2024)

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

LoLA: Low-Rank Linear Attention With Sparse Caching
von: McDermott, Luke, et al.
Veröffentlicht: (2025)

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

Toxic Inclusivity: When Student Support Centers Fall Victim to Neoliberalism
von: Nike Jacob, et al.
Veröffentlicht: (2025)

Embedding Compression for Efficient Re-Identification
von: McDermott, Luke
Veröffentlicht: (2024)

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

REPRODUCTION IN THE HERMIT CRAB PAGURUS LONGICARPUS (DECAPODA: ANOMURA) FROM THE COAST OF NEW JERSEY
von: McDermott, J
Veröffentlicht: (1985)

Optimizing Byte-level Representation for End-to-end ASR
von: Hsiao, Roger, et al.
Veröffentlicht: (2024)

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

Privacy-Respecting Type Error Telemetry at Scale
von: Greenman, Ben, et al.
Veröffentlicht: (2024)

Multiparty Session Types with a Bang!
von: Brun, Matthew Alan Le, et al.
Veröffentlicht: (2025)

From Symbolic Tasks to Code Generation: Diversification Yields Better Task Performers
von: Zhang, Dylan, et al.
Veröffentlicht: (2024)

Energy without Conscience
von: Hughes, David McDermott
Veröffentlicht: (2017)

Energy without Conscience
von: Hughes, David McDermott
Veröffentlicht: (2017)

Neuroqueering Physics Literacy
von: McDermott, Liam G.
Veröffentlicht: (2023)

Food, feeding behavior and feeding ecology of nemerteans. / John J. McDermott
von: McDermott, John J
Veröffentlicht: (1985)

Aeromonas sp. infection in Great Lakes lampreys
von: McDermott, L. A
Veröffentlicht: (1968)

Curb Cuts on the Information Superhighway: Making the Web Accessible.
von: McDermott, Irene E.
Veröffentlicht: (2001)

Searchers on the Beachhead: The Internet Librarian Conference at Monterey.
von: McDermott, Irene E.
Veröffentlicht: (1998)

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

Virtual Reference for a Real Public.
von: McDermott, Irene E.
Veröffentlicht: (1998)

Internet Instruction: Spreading the Web.
von: McDermott, Irene E.
Veröffentlicht: (2000)

Youth Stuck on Web!: The Internet for Children.
von: McDermott, Irene E.
Veröffentlicht: (2000)

Reference and the Bottom Line in the City of Industry.
von: McDermott, Irene E.
Veröffentlicht: (1998)

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

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

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

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
von: McCann, Alan L.
Veröffentlicht: (2026)

Octopus: On-device language model for function calling of software APIs
von: Chen, Wei, et al.
Veröffentlicht: (2024)

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