Lifting On-Demand Analysis to Higher-Order Languages Chapter

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan

publication date

• January 1, 2023

has restriction

• closed

Date in CU Experts

• October 31, 2023 7:05 AM

Full Author List

• Schoepe D; Seekatz D; Stoilkovska I; Stucki S; Tattersall D; Bolignano P; Raimondi F; Chang B-YE

Full Editor List

• Hermenegildo MV; Morales JF

author count

• 8

citation count

• 0

published in

• Lecture Notes in Artificial Intelligence  Journal

Other Profiles

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-031-44245-2_20

International Standard Book Number (ISBN) 13

• 978-3-031-44244-5

Additional Document Info

start page

• 460

end page

• 484

volume

• 14284