Defunctionalization at Work

著录项

• 来源
  《3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'01), Sep 5-7, 2001, Florence, Italy》|2001年|p.162-174|共13页
• 会议地点 Florence(IT);Florence(IT)
• 作者

  Olivier Danvy; Lasse R. Nielsen;

  展开▼
• 作者单位

  BRICS Department of Computer Science University of Aarhus;

  展开▼
• 会议组织
• 原文格式 PDF
• 正文语种 eng
• 中图分类 自动化技术、计算机技术;
• 关键词

  church encoding; closure conversion; continuations; continuation-passing style (CPS); CPS transformation; defunctionalization; direct-style transformation; first-order programs; higher-order programs; lambda-lifting; ML; regular expressions; scheme;

  机译：教会编码；闭包转换；延续；连续通过样式（CPS）； CPS转换；去功能化直接样式转换；一阶程序；高阶程序λ提升ML;常用表达;方案;