Search the dblp DataBase

Publications of Author

1. Harald Søndergaard, Peter Sestoft
   Non-Determinism in Functional Languages. [Citation Graph (1, 0)][DBLP]
   Comput. J., 1992, v:35, n:5, pp:514-523 [Journal]
   
2. Peter Sestoft
   Demonstrating Lambda Calculus Reduction. [Citation Graph (0, 0)][DBLP]
   The Essence of Computation, 2002, pp:420-435 [Conf]
   
3. Peter Sestoft
   MK Pattern Match Compilation and Partial Evaluation. [Citation Graph (0, 0)][DBLP]
   Dagstuhl Seminar on Partial Evaluation, 1996, pp:446-464 [Conf]
   
4. Carsten K. Gomard, Peter Sestoft
   Evaluation Order Analysis for Lazy Data Structures. [Citation Graph (0, 0)][DBLP]
   Functional Programming, 1991, pp:112-127 [Conf]
   
5. Peter Sestoft
   Replacing Function Parameters by Global Variables. [Citation Graph (0, 0)][DBLP]
   FPCA, 1989, pp:39-53 [Conf]
   
6. Neil D. Jones, Peter Sestoft, Harald Søndergaard
   MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   MFPS, 1987, pp:386-413 [Conf]
   
7. Peter Sestoft
   The structure of a self-applicable partial evaluator. [Citation Graph (0, 0)][DBLP]
   Programs as Data Objects, 1985, pp:236-256 [Conf]
   
8. Carsten K. Gomard, Peter Sestoft
   Globalization and Live Variables. [Citation Graph (0, 0)][DBLP]
   PEPM, 1991, pp:166-177 [Conf]
   
9. Neil D. Jones, Carsten K. Gomard, Peter Sestoft
   Partial Evaluation for the Lambda Calculus. [Citation Graph (0, 0)][DBLP]
   Partial Evaluation, 1998, pp:203-220 [Conf]
   
10. Carsten K. Gomard, Peter Sestoft
    Path Analysis for Lazy Data Structures. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:54-68 [Conf]
    
11. Neil D. Jones, Peter Sestoft, Harald Søndergaard
    An Experiment in Partial Evaluation: The Generation of a Compiler Generator. [Citation Graph (0, 0)][DBLP]
    RTA, 1985, pp:124-140 [Conf]
    
12. Zhou Chaochen, Michael R. Hansen, Peter Sestoft
    Decidability and Undecidability Results for Duration Calculus. [Citation Graph (0, 0)][DBLP]
    STACS, 1993, pp:58-68 [Conf]
    
13. Harald Søndergaard, Peter Sestoft
    Referential Transparency, Definiteness and Unfoldability. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1989, v:27, n:6, pp:505-517 [Journal]
    
14. Peter Sestoft
    Demonstrating Lambda Calculus Reduction. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
    
15. Peter Sestoft
    Deriving a Lazy Abstract Machine. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:3, pp:231-264 [Journal]
    
16. Neil D. Jones, Peter Sestoft, Harald Søndergaard
    Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1989, v:2, n:1, pp:9-50 [Journal]
    
17. Peter Sestoft, Alexandre V. Zamulin
    Annotated Bibliography on Partial Evaluation and Mixed Computation. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1988, v:6, n:2&3, pp:309-354 [Journal]
    
18. Peter Sestoft, Harald Søndergaard
    A bibliography on partial evaluation. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1988, v:23, n:2, pp:19-26 [Journal]
    
19. Stephan Diehl, Pieter H. Hartel, Peter Sestoft
    Principles of abstract machines. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2000, v:16, n:7, pp:- [Journal]
    
20. Stephan Diehl, Pieter H. Hartel, Peter Sestoft
    Abstract machines for programming language implementation. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2000, v:16, n:7, pp:739-751 [Journal]
    
21. 
    Flow Analysis of Code Customizations. [Citation Graph (, )][DBLP]
    
    
22. 
    Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution. [Citation Graph (, )][DBLP]
    
    
23. 
    Zero-Overhead Composable Aspects for .NET. [Citation Graph (, )][DBLP]