A polymorphic modal type system for lisp-like multi-staged languages

被引：33

作者：

Seoul National University ^{[1
]}

不详 ^{[2
]}

机构：

来源：

ACM SIGPLAN Not. | 2006年 / 1卷 / 257-268期

关键词：

Computer programming languages;

D O I：

10.1145/1111320.1111060

中图分类号：

学科分类号：

摘要：

引用

共 22 条

[1] A polymorphic modal type system for Lisp-like multi-staged languages
Kim, LS
Yi, KK
Calcagno, C
ACM SIGPLAN NOTICES, 2006, 41 (01) : 257 - 268
[2] Type and effect system for multi-staged exceptions
Eo, Hyunjun
Kim, Ik-Soon
Yi, Kwangkeun
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4279 : 61 - 78
[3] TREATMENT OF RAW MILK WASTES BY A MULTI-STAGED BIOLOGICAL SYSTEM
ARLEDGE, WL
SULLINS, JK
JOURNAL OF MILK AND FOOD TECHNOLOGY, 1974, 37 (10): : 531 - 531
[4] Proposing a Multi-Staged Calibration Methodology for System Dynamics Construction Management Models
Abotaleb, Ibrahim S.
El-adaway, Islam H.
COMPUTING IN CIVIL ENGINEERING 2019: VISUALIZATION, INFORMATION MODELING, AND SIMULATION, 2019, : 530 - 537
[5] An Adaptive Multi-Staged Forward Collision Warning System Using a Light Gradient Boosting Machine
Ma, Jun
Li, Jiateng
Gong, Zaiyan
Huang, Hongwei
INFORMATION, 2022, 13 (10)
[6] Development of Multi-Staged Adaptive Filtering Algorithm for Periodic Structure-Based Active Vibration Control System
Yang, Qiu
Lee, Kyeongnak
Kim, Byeongil
APPLIED SCIENCES-BASEL, 2019, 9 (03):
[7] Examination of sub-harmonic responses along with various initial conditions induced by multi-staged clutch damper system
Jong-Yun Yoon
Byeongil Kim
Scientific Reports, 12
[8] Examination of sub-harmonic responses along with various initial conditions induced by multi-staged clutch damper system
Yoon, Jong-Yun
Kim, Byeongil
SCIENTIFIC REPORTS, 2022, 12 (01)
[9] Gear rattle analysis of a torsional system with multi-staged clutch damper in a manual transmission under the wide open throttle condition
Yoon, Jong-Yun
Kim, Byeongil
JOURNAL OF MECHANICAL SCIENCE AND TECHNOLOGY, 2016, 30 (03) : 1003 - 1019
[10] Analysis of process intensification and performance assessment for fermentative continuous production of bioethanol in a multi-staged membrane-integrated bioreactor system
Pal, Parimal
Kumar, Ramesh
Ghosh, Alak Kumar
ENERGY CONVERSION AND MANAGEMENT, 2018, 171 : 371 - 383

← 1 2 3 →