Now showing items 1-3 of 3

    • Investigating Streamless Sets 

      Parmann, Erik (Dagstuhl Publishing, 2015)
      In this paper we look at streamless sets, recently investigated by Coquand and Spiwack. A set is streamless if every stream over that set contain a duplicate. It is an open question in constructive mathematics whether the ...
      Conference object
    • A Type System for the Safe Instantiation of Components 

      Bezem, Marcus A.; Truong, Anh Hoang (Elsevier B.V., 2003-09-02)
      Component composition can lead to multiple instances of the same component. Some components can have only one instance loaded at a time, for example, when a unique external resource is used. We give an abstract component ...
      Journal article
    • Type Systems for Guaranteeing Resource Bounds of Component Software 

      Truong, Anh Hoang (The University of Bergen, 2006-05-15)
      Since the early days of the development of programming languages, people have been developing various methods to reduce the runtime errors of software programs. These methods range from static analysis, testing to runtime ...
      Doctoral thesis