首页期刊浏览 2025年03月02日星期日

登录注册

全文

有本地全文

5篇

出版年度

	2002	1篇
	2001	2篇
	2000	1篇
	1998	1篇

作者

	Morten Rhiger	5篇
	Olivier Danvy	4篇
	Bernd Grobauer	1篇
	Kristoffer H. Rose	1篇

文章类型

Research Article

5篇

来源期刊

BRICS Report Series

5篇

学科主题

计算技术、计算机技术

5篇

语种

英文

5篇

国别/地区

丹麦

5篇

检索条件:"( ( 高级检索(( ((AU:(("Morten Rhiger")))) )) ) )"

共 5 条记录

排序：全选导出：

1.A Simple Take on Typed Abstract Syntax in Haskell-like Languages

作　　者：Olivier Danvy ;Morten Rhiger

出　　处：BRICS Report Series. 2000 ;7(34).

出版社：Aarhus University

文章 ID：101759805

文章详细全文下载
2.Compiling Actions by Partial Evaluation, Revisited

作　　者：Olivier Danvy ;Morten Rhiger

出　　处：BRICS Report Series. 1998 ;5(13).

出版社：Aarhus University

文章 ID：101759894

文章详细全文下载
3.Normalization by Evaluation with Typed Abstract Syntax

作　　者：Olivier Danvy ;Morten Rhiger ;Kristoffer H. Rose

出　　处：BRICS Report Series. 2001 ;8(16).

出版社：Aarhus University

文章 ID：101759921

文章详细全文下载
4.A Unifying Approach to Goal-Directed Evaluation

作　　者：Olivier Danvy ;Bernd Grobauer ;Morten Rhiger

出　　处：BRICS Report Series. 2001 ;8(29).

出版社：Aarhus University

文章 ID：186804746

文章详细全文下载
5.A Foundation for Embedded Languages

作　　者：Morten Rhiger

出　　处：BRICS Report Series. 2002 ;9(34).

出版社：Aarhus University

文章 ID：186804803

文章详细全文下载

1

电话：010-85195300

E-mail：[email protected]

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有