首页> 美国政府科技报告 >Collection of Papers: Bridging the Gulf: A Common Intermediate Language for MLand Haskell; From Interpreter to Compiler Using Staging and Monads; Multi-State Programming: Axiomatization and Type Safety; The Anatomy of a Component Generator; Optimizing ML

【24h】

Collection of Papers: Bridging the Gulf: A Common Intermediate Language for MLand Haskell; From Interpreter to Compiler Using Staging and Monads; Multi-State Programming: Axiomatization and Type Safety; The Anatomy of a Component Generator; Optimizing ML

机译：论文集：弥合海湾：mLand Haskell的通用中间语言;从Interpreter到Compiler使用staging和monads;多州规划：公理化和类型安全;组件生成器的剖析;优化mL

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

No abstract available.

著录项

作者

展开▼
作者单位

展开▼
年度 1998
页码
总页数 73
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Compilers; High level languages; Multiprogramming; Algorithms; Softwareengineering; Semantics; Computer program verification; Executive routines; Control sequences; Structured programming;

机译：编译器;高级语言;多道程序设计;算法;软件工程;语义学;计算机程序验证;执行程序;控制序列;结构化编程;

相似文献

外文文献

1. Bridging the gulf: a common intermediate language for ML and haskell [C] . Simon Peyton Jones, John Launchbury, Mark Shields, . 1998

机译：弥合鸿沟：ML和Haskell的通用中间语言

Collection of Papers: Bridging the Gulf: A Common Intermediate Language for MLand Haskell; From Interpreter to Compiler Using Staging and Monads; Multi-State Programming: Axiomatization and Type Safety; The Anatomy of a Component Generator; Optimizing ML

摘要

著录项

相似文献

相关主题

期刊订阅