Implementation techniques of polymorphic types in functional programming language compilers

被引：0

作者：

Huang, Minghe

机构：

来源：

Jisuanji Yanjiu yu Fazhan/Computer Research and Development | 1995年 / 32卷 / 11期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：8 / 15

共 50 条

[1] A FUNCTIONAL AND LOGIC LANGUAGE WITH POLYMORPHIC TYPES
HANUS, M
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 429 : 215 - 224
[2] ChocoPy: A Programming Language for Compilers Courses
Padhye, Rohan
Sen, Koushik
Hilfinger, Paul N.
SPLASH-E'19: PROCEEDINGS OF THE 2019 ACM SIGPLAN SYMPOSIUM ON SPLASH-E, 2019, : 41 - 45
[3] ADEQUACY FOR A LAZY FUNCTIONAL LANGUAGE WITH RECURSIVE AND POLYMORPHIC TYPES
BLAABERG, B
CLAUSEN, C
THEORETICAL COMPUTER SCIENCE, 1994, 136 (01) : 243 - 275
[4] Code composition as an implementation language for compilers
Stichnoth, JM
Gross, T
PROCEEDINGS OF THE CONFERENCE ON DOMAIN-SPECIFIC LANGUAGES, 1997, : 119 - 131
[5] PolyAML: A polymorphic aspect-oriented functional programming language
Dantas, DS
Walker, D
Washburn, G
Weirich, S
ACM SIGPLAN NOTICES, 2005, 40 (09) : 306 - 319
[6] AspectML: A polymorphic aspect-oriented functional programming language
Dantas, Daniel S.
Walker, David
Washburn, Geoffrey
Weirich, Stephanie
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (03):
[7] Using LLVM for a Functional Programming Language Implementation
Ciprich, Nikola
INFORMATION MODELLING AND KNOWLEDGE BASES XXIII, 2012, 237 : 362 - 368
[8] INTRODUCTION TO PL/C - PROGRAMMING LANGUAGE FOR COMPILERS
DOVEY, M
DR DOBBS JOURNAL, 1984, 9 (03): : 44 - 47
[9] A general framework for lazy functional logic programming with algebraic polymorphic types
Arenas-Sánchez, P
Rodríguez-Artalejo, M
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2001, 1 : 185 - 245
[10] A lazy narrowing calculus for functional logic programming with algebraic polymorphic types
ArenasSanchez, P
RodriguezArtalejo, M
LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 53 - 67

← 1 2 3 4 5 →