date: 2024-11-15T08:40:06Z
pdf:unmappedUnicodeCharsPerPage: 0
pdf:PDFVersion: 1.7
pdf:docinfo:title: A Logical Approach to Type Soundness
xmp:CreatorTool: LaTeX with hyperref package
Keywords: 
access_permission:modify_annotations: true
access_permission:can_print_degraded: true
subject: J. ACM 2024.71:1-75
dcterms:created: 2024-11-07T03:14:30Z
Last-Modified: 2024-11-15T08:40:06Z
dcterms:modified: 2024-11-15T08:40:06Z
dc:format: application/pdf; version=1.7
title: A Logical Approach to Type Soundness
Last-Save-Date: 2024-11-15T08:40:06Z
pdf:docinfo:creator_tool: LaTeX with hyperref package
access_permission:fill_in_form: true
pdf:docinfo:keywords: 
pdf:docinfo:modified: 2024-11-15T08:40:06Z
meta:save-date: 2024-11-15T08:40:06Z
pdf:encrypted: false
dc:title: A Logical Approach to Type Soundness
modified: 2024-11-15T08:40:06Z
cp:subject: J. ACM 2024.71:1-75
pdf:docinfo:subject: J. ACM 2024.71:1-75
Content-Type: application/pdf
pdf:docinfo:creator: 
X-Parsed-By: org.apache.tika.parser.DefaultParser
dc:subject: 
meta:creation-date: 2024-11-07T03:14:30Z
created: 2024-11-07T03:14:30Z
access_permission:extract_for_accessibility: true
access_permission:assemble_document: true
xmpTPg:NPages: 75
Creation-Date: 2024-11-07T03:14:30Z
pdf:charsPerPage: 3487
access_permission:extract_content: true
access_permission:can_print: true
meta:keyword: 
producer: Acrobat Distiller 11.0 (Windows); modified using iText 4.2.0 by 1T3XT
access_permission:can_modify: true
pdf:docinfo:producer: Acrobat Distiller 11.0 (Windows); modified using iText 4.2.0 by 1T3XT
pdf:docinfo:created: 2024-11-07T03:14:30Z