Author of the publication

Open and Closed Worlds for Overloading: a Definition and Support for Coexistence.

, , , and . J. UCS, 13 (6): 874-890 (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Open and Closed Worlds for Overloading: a Definition and Support for Coexistence., , , and . J. UCS, 13 (6): 874-890 (2007)Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell., , and . J. UCS, 9 (8): 873-890 (2003)Template for Supporting Welding Design on Aluminum Vessels., , , and . ISPE TE, volume 4 of Advances in Transdisciplinary Engineering, page 77-86. IOS Press, (2016)A hybrid intermediate language between SSA and CPS., , and . SBLP, page 1:1-1:3. ACM, (2017)Type inference for GADTs, outsidein and anti-unification., , and . SBLP, page 51-58. ACM, (2018)Constraint-set satisfiability for overloading., , and . PPDP, page 67-77. ACM, (2004)Enhancing automatic generation of VHDL descriptions from UML/MARTE models., , and . INDIN, page 152-157. IEEE, (2014)Optional Type Classes for Haskell., , , and . SBLP, volume 9889 of Lecture Notes in Computer Science, page 125-139. Springer, (2016)Type Inference for GADTs and Anti-unification., , , and . SBLP, volume 9325 of Lecture Notes in Computer Science, page 16-30. Springer, (2015)Haskell Type System Analysis., , and . RITA, 25 (3): 75-88 (2018)