A Calculus of Inductive Linear Constructions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Qiancheng Fu, Hongwei Xi. A Calculus of Inductive Linear Constructions. In Youyou Cong, Pierre-Évariste Dagand, editors, Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2023, Seattle, WA, USA, 4 September 2023. pages 1-13, ACM, 2023. [doi]

This author has not been identified. Look up 'Qiancheng Fu' in GoogleThis author has not been identified. It may be one of the following persons:

Hongwei Xi

Look up 'Hongwei Xi' in Google

runs on WebDSL