:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	McDermott, Dylan, Mycroft, Alan
Format:	Preprint
Published:	2022
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2202.08246
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Abstract clones for abstract syntax
by: Arkor, Nathanael, et al.
Published: (2021)

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

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

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

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

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

Relative monadicity
by: Arkor, Nathanael, et al.
Published: (2023)

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

Galois Slicing as Automatic Differentiation
by: Atkey, Robert, et al.
Published: (2025)

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

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

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

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

Embedding Compression for Efficient Re-Identification
by: McDermott, Luke
Published: (2024)

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

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

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

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

Energy without Conscience
by: Hughes, David McDermott
Published: (2017)

Energy without Conscience
by: Hughes, David McDermott
Published: (2017)

Neuroqueering Physics Literacy
by: McDermott, Liam G.
Published: (2023)

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

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

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

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

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

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

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

Virtual Reference for a Real Public.
by: McDermott, Irene E.
Published: (1998)

Internet Instruction: Spreading the Web.
by: McDermott, Irene E.
Published: (2000)

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

Revisiting ASR Error Correction with Specialized Models
by: Gu, Zijin, et al.
Published: (2024)

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

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

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

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

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

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

Improving Information Literacy and Academic Skills Tuition through Flipped Online Delivery
by: Morris, Laurence, et al.
Published: (2022)