Author of the publication

Ownership, Uniqueness, and Immutability.

, , , and . TOOLS (46), volume 11 of Lecture Notes in Business Information Processing, page 178-197. Springer, (2008)

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

Dependency-style generic Haskell., , and . ICFP, page 141-152. ACM, (2003)ESD event simulation automation using automatic extraction of the relevant portion of a full chip., , , and . ISQED, page 414-418. IEEE Computer Society, (2009)Feature Nets: behavioural modelling of software product lines., , and . Softw. Syst. Model., 15 (4): 1181-1206 (2016)A Basic Logic for Reasoning about Connector Reconfiguration.. Fundam. Informaticae, 82 (4): 361-390 (2008)Automata for Context-Dependent Connectors., , and . COORDINATION, volume 5521 of Lecture Notes in Computer Science, page 184-203. Springer, (2009)Feature Petri Nets., , and . SPLC Workshops, page 99-106. Lancaster University, (2010)HATS - A Formal Software Product Line Engineering Methodology., , , , , , and . SPLC Workshops, page 121-128. Lancaster University, (2010)UUXML: A Type-Preserving XML Schema-Haskell Data Binding., , and . PADL, volume 3057 of Lecture Notes in Computer Science, page 71-85. Springer, (2004)Modelling Coordination in Biological Systems., , and . ISoLA, volume 4313 of Lecture Notes in Computer Science, page 9-25. Springer, (2004)The impact of opt-in gamification on students' grades in a software design course., , and . MoDELS (Companion), page 90-97. ACM, (2018)