• 发表信息：1997 年 1 月发表于 Springer Verlag，《1997 年实现函数式语言研讨会论文集》
• 研究现状：近来研究编译器常以 C 为目标代码，依靠 C 编译器生成机器码，C 被用作便携式编译器目标语言，可避免重复实现多种目标架构的寄存器分配等，但 C 设计初衷是编程语言而非编译器目标语言，不太适合该目的。
• 解决办法：定义一种专为便携式目标语言设计的语言，即描述了 C–，它需在足够高级让后端能有效工作和足够低级让前端有所需控制之间取得平衡，虽不确定两者之间是否存在可行路径（UNCOL 的幽灵在暗处潜伏），但 C 作为编译器目标语言的日益流行（尽管其不合适）表明有强烈需求，也证明了可以做出有用的东西。