Mike Barnett, K Rustan M Leino & Wolfram Schulte (2004):
The Spec# programming system: An overview.
In: International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices.
Springer,
pp. 49–69,
doi:10.1007/978-3-540-30569-9_3.
Giovanni Lagorio, Marco Servetto & Elena Zucca (2009):
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes.
In: Sophia Drossopoulou: ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings,
Lecture Notes in Computer Science 5653.
Springer,
pp. 244–268,
doi:10.1007/978-3-642-03013-0_12.
Luigi Liquori & Arnaud Spiwack (2008):
FeatherTrait: A modest extension of Featherweight Java.
ACM Transactions on Programming Languages and Systems (TOPLAS) 30(2),
pp. 11,
doi:10.1145/1330017.1330022.
Barbara H. Liskov & Jeannette M. Wing (1994):
A Behavioral Notion of Subtyping.
ACM Trans. Program. Lang. Syst. 16(6),
pp. 1811–1841,
doi:10.1145/197320.197383.
Bertrand Meyer (1988):
Object-Oriented Software Construction,
1st edition.
Prentice-Hall, Inc.,
Upper Saddle River, NJ, USA.
Georg Ofenbeck, Tiark Rompf & Markus Püschel (2017):
Staging for Generic Programming in Space and Time.
In: Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,
GPCE 2017.
ACM,
New York, NY, USA,
pp. 15–28,
doi:10.1145/3136040.3136060.
John Reppy & Aaron Turon (2007):
Metaprogramming with traits.
In: ECOOP.
Springer,
pp. 373–398,
doi:10.1007/978-3-540-73589-2_18.
Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz & Andrew P Black (2003):
Traits: Composable units of behaviour.
In: ECOOP 3.
Springer,
pp. 248–274,
doi:10.1007/978-3-540-45070-2_12.
Marco Servetto & Elena Zucca (2014):
A meta-circular language for active libraries.
Science of Computer Programming 95,
pp. 219–253,
doi:10.1016/j.scico.2014.05.003.
Tim Sheard & Simon Peyton Jones (2002):
Template meta-programming for Haskell.
In: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell,
Haskell '02.
ACM,
pp. 1–16,
doi:10.1145/581690.581691.
eptcs@eptcs.org