Carsten Kehler Holst Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1996
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Holst Andersen, Carsten Kehler Holst: Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language. SAS 1996: 67-82
1992
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRogardt Heldal, Carsten Kehler Holst, Philip Wadler: Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 Springer 1992
1991
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Kehler Holst: Finiteness Analysis. FPCA 1991: 473-495
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Kehler Holst, John Hughes: A Loop-Detecting Interpreter for Lazy Programs. Functional Programming 1991: 164-176
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Kehler Holst, Carsten K. Gomard: Partial Evaluation is Fuller Laziness. PEPM 1991: 223-233
1988
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorben Æ. Mogensen, Carsten Kehler Holst: Terminology. New Generation Comput. 6(2&3): 303-307 (1988)

Coauthor Index

1Peter Holst Andersen [6]
2Carsten K. Gomard [2]
3Rogardt Heldal [5]
4John Hughes [3]
5Torben Æ. Mogensen [1]
6Philip Wadler [5]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)