shift/reset を含む型付き言語における Reflection 証明
shift/reset を含む型付き言語における Reflection 証明
复制标题
类型化语言的反射证明，包括移位/重置
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
浅井 健一
中科院分区：
文献类型：
--
作者：
本田 華歩;山本 充子;浅井 健一
