首页期刊浏览 2024年11月28日星期四

登录注册

全文

	有本地全文	90篇
	有全文链接	8篇

出版年度

	2015	1篇
	2011	1篇
	2008	4篇
	2007	5篇
	2006	4篇

	2005	17篇
	2004	10篇
	2003	10篇
	2002	10篇
	2001	10篇
	2000	3篇
	1999	4篇
	1998	6篇
	1997	6篇
	1996	6篇
	1995	1篇

作者

	Olivier Danvy	98篇
	Dariusz Biernacki	17篇
	Kevin Millikin	11篇
	Mads Sig Ager	10篇
	Malgorzata Biernacka	10篇

	Lasse R. Nielsen	9篇
	Henning Korsholm Rohde	6篇
	Daniel Damian	5篇
	Jan Midtgaard	5篇
	Mayer Goldberg	5篇
	Ulrik P. Schultz	5篇
	Karoline Malmkjær	4篇
	Morten Rhiger	4篇
	Chung-chieh Shan	2篇
	Jens Palsberg	2篇
	John Hatcliff	2篇
	Kristoffer H. Rose	2篇
	Vincent Balat	2篇
	Belmina Dzafic	1篇
	Bernd Grobauer	1篇
	Chantal Keller	1篇
	Charles Consel	1篇
	Frank Pfenning	1篇
	Jacob Johannsen	1篇
	Julia L. Lawall	1篇
	Jung-taek Kim	1篇
	Kristian Støvring	1篇
	Kwangkeun Yi	1篇
	Luca Chiarabini	1篇
	Matthias Puech	1篇
	Michael Spivey	1篇
	Pablo E. Martínez López	1篇
	René Vestergaard	1篇
	Torben Amtoft	1篇

文章类型

Research Article

95篇

来源期刊

	BRICS Report Series	94篇
	Logical Methods in Computer Science	2篇
	Journal of Formalized Reasoning	1篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇

学科主题

计算技术、计算机技术

98篇

语种

英文

98篇

国别/地区

	丹麦	94篇
	德国	3篇
	意大利	1篇

检索条件:"( ( 高级检索(( ((AU:(("Olivier Danvy")))) )) ) )"

共 98 条记录

排序：全选导出：

1.An Operational Foundation for Delimited Continuations in the CPS Hierarchy

作　　者：Malgorzata Biernacka ;Dariusz Biernacki ;Olivier Danvy

出　　处：Logical Methods in Computer Science. 2005 ;1(2).

出版社：Technical University of Braunschweig

文章 ID：41929649

文章详细全文下载
2.A Simple Solution to Type Specialization

作　　者：Olivier Danvy

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

出版社：Aarhus University

文章 ID：101759791

文章详细全文下载
3.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

文章详细全文下载
4.On proving syntactic properties of CPS programs

作　　者：Olivier Danvy ;Belmina Dzafic ;Frank Pfenning

出　　处：BRICS Report Series. 1999 ;6(23).

出版社：Aarhus University

文章 ID：101759817

文章详细全文下载
5.Pragmatic Aspects of Type-Directed Partial Evaluation

作　　者：Olivier Danvy

出　　处：BRICS Report Series. 1996 ;3(15).

出版社：Aarhus University

文章 ID：101759818

文章详细全文下载
6.Higher-Order Rewriting and Partial Evaluation

作　　者：Olivier Danvy ;Kristoffer H. Rose

出　　处：BRICS Report Series. 1997 ;4(46).

出版社：Aarhus University

文章 ID：101759842

文章详细全文下载
7.The Abstraction and Instantiation of String-Matching Programs

作　　者：Torben Amtoft ;Charles Consel ;Olivier Danvy 等

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

出版社：Aarhus University

文章 ID：101759844

文章详细全文下载
8.An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

作　　者：Olivier Danvy

出　　处：BRICS Report Series. 1999 ;6(21).

出版社：Aarhus University

文章 ID：101759847

文章详细全文下载
9.Functional Unparsing

作　　者：Olivier Danvy

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

出版社：Aarhus University

文章 ID：101759862

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

作　　者：Olivier Danvy ;Morten Rhiger

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

出版社：Aarhus University

文章 ID：101759894

文章详细全文下载

1 2 3 4 5 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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