2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 2 cited
Direct Foundations for Compositional Programming
Andong Fan, Xuejing Huang, Han Xu +2
The recently proposed CP language adopts Compositional Programming: a new modular programming style that solves challenging problems such as the Expression Problem. CP is implement…
math.CT2022
Locally Cartesian Closed Categories
Xu Huang
This note explains how dependent sums and products are interpreted by adjoints of the base change functor in a locally cartesian closed category. An effort is made to unpack all th…