1.A Functional Correspondence between Evaluators and Abstract Machines

作　　者：Mads Sig Ager ;Dariusz Biernacki ;Olivier Danvy 等

出　　处：BRICS Report Series. 2003 ;10(13).

出版社：Aarhus University

文章 ID：186804834

文章详细全文下载
2.From Interpreter to Compiler and Virtual Machine: A Functional Derivation

作　　者：Mads Sig Ager ;Dariusz Biernacki ;Olivier Danvy 等

出　　处：BRICS Report Series. 2003 ;10(14).

出版社：Aarhus University

文章 ID：186804835

文章详细全文下载
3.A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects

作　　者：Mads Sig Ager ;Olivier Danvy ;Jan Midtgaard

出　　处：BRICS Report Series. 2003 ;10(35).

出版社：Aarhus University

文章 ID：186804854

文章详细全文下载
4.A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines

作　　者：Mads Sig Ager ;Olivier Danvy ;Jan Midtgaard

出　　处：BRICS Report Series. 2004 ;11(3).

出版社：Aarhus University

文章 ID：186804875

文章详细全文下载
5.A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects

作　　者：Mads Sig Ager ;Olivier Danvy ;Jan Midtgaard

出　　处：BRICS Report Series. 2004 ;11(28).

出版社：Aarhus University

文章 ID：186804900

文章详细全文下载
6.Control-Flow Analysis of Functional Programs

作　　者：Jan Midtgaard

出　　处：BRICS Report Series. 2007 ;14(18).

出版社：Aarhus University

文章 ID：186804981

文章详细全文下载

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Jan Midtgaard")))) )) ) )"

	Jan Midtgaard	6篇
	Mads Sig Ager	5篇
	Olivier Danvy	5篇
	Dariusz Biernacki	2篇

	2007	1篇
	2004	2篇
	2003	3篇