An_update_calculus_for_expressing_type-safe_program_updates.pdf Public

File Details

Depositor: Scholars Archive Admin
Date Uploaded: 2017-07-18
Date Modified: 2017-07-18
Fixity Check: passed 2 Files with 2 total versions checked 2025-04-15 14:22:00 -0700
Characterization: File Format: pdf (Portable Document Format)

File Title: uc.dvi

Page Count: 22

File Size: 211675

Original Checksum: 7686965f5afadb077b58937783282341

Mime Type: application/pdf

User Activity	Date
User Scholars Archive Admin has attached An_update_calculus_for_expressing_type-safe_program_updates.pdf to An update calculus for expressing type-safe program updates	July 18th, 2017 13:54