Mike Barnett
K Rustan M Leino
Wolfram Schulte
2004
The Spec# programming system: An overview
International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Springer
49–69
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
Sophia Drossopoulou
ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings
Lecture Notes in Computer Science
5653
Springer
244–268
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
11
10.1145/1330017.1330022
Barbara H. Liskov
Jeannette M. Wing
1994
A Behavioral Notion of Subtyping
ACM Trans. Program. Lang. Syst.
16
6
1811–1841
10.1145/197320.197383
Bertrand Meyer
1988
Object-Oriented Software Construction
1st
Prentice-Hall, Inc.
Upper Saddle River, NJ, USA
Georg Ofenbeck
Tiark Rompf
Markus Püschel
2017
Staging for Generic Programming in Space and Time
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
GPCE 2017
ACM
New York, NY, USA
15–28
10.1145/3136040.3136060
John Reppy
Aaron Turon
2007
Metaprogramming with traits
ECOOP
Springer
373–398
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
ECOOP
3
Springer
248–274
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
219–253
10.1016/j.scico.2014.05.003
Tim Sheard
Simon Peyton Jones
2002
Template meta-programming for Haskell
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Haskell '02
ACM
1–16
10.1145/581690.581691