Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.

Structural Refactorings for Exploring Dependently Typed Programming

Adam D. Barwell,Christopher Brown, Mun See Chang, Constantine Theocharis,Simon J. Thompson

Symposium on Trends in Functional Programming（2024）

Cited 0|Views2
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined