Cover Image

Saved in:
Bibliographic Details
Main Authors: Geeson, Luke, Brotherston, James, Dijkstra, Wilco, Donaldson, Alastair F., Smith, Lee, Sorensen, Tyler, Wickerson, John
Format: Preprint
Published: 2024
Subjects:
Programming Languages
D.3.4; D.2.5
Online Access:https://arxiv.org/abs/2409.01161
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2409.01161

Similar Items