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

author count

• 8

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

• 9783031442445

Additional Document Info

start page

• 460

end page

• 484