Fritz Henglein
Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
Introductory remarks on publicationslist
The publications registered in CURIS (this system) and PUF (previous publication registration system at U. Copenhagen) are unfortunately incomplete and partially incorrect (particularly for PUF-registered publications). Since the registered information is practically very difficult to change at this point, for full information, including access to PDF-version of the papers, please see my home page: https://www.diku.dk/~henglein.
- 2008
- Published
Automatic Program Development: A Tribute to Robert Paige
Danvy, O. (ed.), Mairson, H. (ed.), Henglein, Fritz (ed.) & Pettorossi, A. (ed.), 2008, Berlin: Springer. 274 p.Research output: Book/Report › Anthology › Research › peer-review
- Published
Efficient Type Matching
Jha, S., Palsberg, J., Zhao, T. & Henglein, Fritz, 2008, Automatic Program Development: A Tribute to Robert Page, Part III. Danvy, O., Mairson, H., Henglein, F. & Pettorossi, A. (eds.). Springer, p. 229-246Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time
Henglein, Fritz, 2008, ICFP 08: Proceedings of the 2008 SIGPLAN International Conference on Functional Programming, Victoria, British Columbia, Canada, September 22-24, 2008. Association for Computing Machinery, p. 91-102Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Proceedings of 2nd Workshop on 3d generation Enterprise Resource Planning systems (3gERP)
Henglein, Fritz (ed.) & Bjørn-Andersen, N. (ed.), 2008Research output: Book/Report › Book › Research
ID: 7193
Most downloads
-
377
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Research output: Contribution to conference › Paper › Research › peer-review
Published -
269
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology › Research
Published -
219
downloads
Big Data eller privacy?
Research output: Contribution to conference › Paper › Research
Published