Conference Papers

• Contracts for First-Class Classes. T. Stephen Strickland and Matthias Felleisen. DLS 2010. [ bib , pdf , talk ].

                    
  @inproceedings{sf:class-contracts,
    author = {T. Stephen Strickland and Matthias Felleisen},
    title = {Contracts for First-Class Classes},
    booktitle = {Dynamic Languages Symposium},
    pages = {97--111},
    year = 2010,
    month = oct,
    location = {Reno/Tahoe, Nevada, USA},
  }
                  

• Contracts for First-Class Modules. T. Stephen Strickland and Matthias Felleisen. DLS 2009. [ bib , pdf , talk ].

                    
  @inproceedings{sf:unit-contracts,
    author = {T. Stephen Strickland and Matthias Felleisen},
    title = {Contracts for First-Class Modules},
    booktitle = {{DLS} '09: Proceedings of the Fifth Symposium on Dynamic Languages},
    pages = {27--38},
    year = 2009,
    month = oct,
    location = {Orlando, Florida, USA},
  }
                  

• Nested and Dynamic Contract Boundaries. T. Stephen Strickland and Matthias Felleisen. IFL 2009. [ bib , pdf , talk ].

                    
  @inproceedings{sf:contract-regions,
    author = {T. Stephen Strickland and Matthias Felleisen},
    title = {Nested and Dynamic Contract Boundaries},
    booktitle = {IFL 2009},
    series = {Lecture Notes in Computer Science},
    volume = {6041},
    pages = {141--158},
    year = 2010,
  }
                  

• Practical Variable-Arity Polymorphism. T. Stephen Strickland, Sam Tobin-Hochstadt, and Matthias Felleisen. ESOP 2009. [ bib , pdf , talk ].

                    
  @inproceedings{sthf:variable-arity,
    author = {T. Stephen Strickland and Sam Tobin-Hochstadt and Matthias Felleisen},
    title = {Practical Variable-Arity Polymorphism},
    booktitle = {Programming Languages and Systems: ESOP 2009},
    series = {Lecture Notes in Computer Science},
    volume = {5502},
    pages = {32--46},
    year = 2009,
  }
                  

Technical Reports

• Chaperones and Impersonators: Run-time Support for Contracts on Higher-Order, Stateful Values. T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, and Matthew Flatt. NU CCIS Technical Report NU-CCIS-12-01, Jan 2012. [ bib , pdf ].

                    
  @techreport{NU-CCIS-12-01,
    author = {T. Stephen Strickland and Sam Tobin-Hochstadt and Robert Bruce Findler and Matthew Flatt},
    title = {Chaperones and Impersonators: Run-time Support for Contracts on Higher-Order, Stateful Values},
    institution = {Northeastern University},
    year = {2012},
    number = {NU-CCIS-12-01},
  }
                  

• Contracts for First-Class Classes. T. Stephen Strickland and Matthias Felleisen. NU CCIS Technical Report NU-CCIS-10-04, Aug 2010. [ bib , pdf ].

                    
  @techreport{NU-CCIS-10-04,
    author = {T. Stephen Strickland and Matthias Felleisen},
    title = {Contracts for First-Class Classes},
    institution = {Northeastern University},
    year = {2010},
    number = {NU-CCIS-10-04},
  }
                  

• Variable-Arity Polymorphism. T. Stephen Strickland, Sam Tobin-Hochstadt, and Matthias Felleisen. NU CCIS Technical Report NU-CCIS-08-03, Sept 2008. [ bib , pdf ].

                    
  @techreport{NU-CCIS-08-03,
    author = {T. Stephen Strickland and Sam Tobin-Hochstadt and Matthias Felleisen},
    title = {Variable-Arity Polymorphism},
    institution = {Northeastern University},
    year = {2008},
    number = {NU-CCIS-08-03},
  }
                  

• Variable-Arity Generic Interfaces. T. Stephen Strickland, Richard Cobbe, and Matthias Felleisen. NU CCIS Technical Report NU-CCIS-08-01, May 2008. [ bib , pdf ].

                    
  @techreport{NU-CCIS-08-01,
    author = {T. Stephen Strickland and Richard Cobbe and Matthias Felleisen},
    title = {Variable-Arity Generic Interfaces},
    institution = {Northeastern University},
    year = {2008},
    number = {NU-CCIS-08-01},
  }