View in EDS HTML Full Text PDF Full Text

Type Inference for Isabelle2Cpp.

Saved in:

Bibliographic Details
Title:	Type Inference for Isabelle2Cpp.
Authors:	Jiang, Dongchen¹, jasonme@bjfu.edu.cn, Mao, Yongkang¹, Fu, Chenxi¹
Source:	Applied Sciences (2076-3417); Apr2026, Vol. 16 Issue 8, p3828, 23p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	20763417
DOI:	10.3390/app16083828