Showing 1 - 2 results of 2 for search 'Chitil, Olaf 1969-', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    The sigma-semantics, a comprehensive semantics for functional pms

    The sigma-semantics, a comprehensive semantics for functional pms by Chitil, Olaf 1969-

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Type inference based deforestation of functional programs

    Type inference based deforestation of functional programs by Chitil, Olaf 1969-

    Published 2000
    Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: