THE CHALMERS LAZY-ML COMPILER

被引：29
|
作者：
AUGUSTSSON, L
JOHNSSON, T
机构：
来源：
COMPUTER JOURNAL | 1989年 / 32卷 / 02期
关键词：
D O I：
10.1093/comjnl/32.2.127
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：127 / 141
页数：15
相关论文
共 19 条
  • [1] Chalmers Lazy-ML compiler
    Augustsson, L.
    Johnsson, T.
    Computer Journal, 1989, 32 (02): : 127 - 141
  • [2] A STANDARD ML COMPILER
    APPEL, AW
    MACQUEEN, DB
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 274 : 301 - 324
  • [3] PureCake: A Verified Compiler for a Lazy Functional Language
    Kanabar, Hrutvik
    Vivien, Samuel
    Abrahamsson, Oskar
    Myreen, Magnus O.
    Norrish, Michael
    Pohjola, Johannes Aman
    Zanetti, Riccardo
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (PLDI):
  • [4] Comparison of Classical and Lazy Approach in SCG Compiler
    Jirak, Ota
    Kolar, Dusan
    NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS A-C, 2011, 1389
  • [5] DESIGN OF A COMPILER FOR LAZY PATTERN DRIVEN NARROWING
    WOLZ, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 534 : 362 - 379
  • [6] A Secure Compiler for ML Modules
    Larmuseau, Adriaan
    Patrignani, Marco
    Clarke, Dave
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2015, 2015, 9458 : 29 - 48
  • [7] GAML - A PARALLEL IMPLEMENTATION OF LAZY ML
    MARANGET, L
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 523 : 102 - 123
  • [8] A protocol compiler for secure sessions in ML
    Corin, Ricardo
    Denielou, Pierre-Malo
    TRUSTWORTHY GLOBAL COMPUTING, 2008, 4912 : 276 - +
  • [9] An Action Compiler Targeting Standard ML
    Iversen, Jorgen
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 141 (04) : 167 - 188
  • [10] COMPILER PROTOTYPING WITH VDM AND STANDARD ML
    ARTHAN, RD
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 101 - 115
12