BibTeX records: T. Stephen Strickland

download as .bib file

@article{DBLP:journals/jamia/DelozierSBTWSGP21,
  author       = {Sarah DeLozier and
                  Peter Speltz and
                  Jason Brito and
                  Leigh Anne Tang and
                  Janey Wang and
                  Joshua C. Smith and
                  Dario A. Giuse and
                  Elizabeth Phillips and
                  Kristina Williams and
                  T. Stephen Strickland and
                  Giovanni Davogustto and
                  Dan M. Roden and
                  Joshua C. Denny},
  title        = {Real-time clinical note monitoring to detect conditions for rapid
                  follow-up: {A} case study of clinical trial enrollment in drug-induced
                  torsades de pointes and Stevens-Johnson syndrome},
  journal      = {J. Am. Medical Informatics Assoc.},
  volume       = {28},
  number       = {1},
  pages        = {126--131},
  year         = {2021},
  url          = {https://doi.org/10.1093/jamia/ocaa213},
  doi          = {10.1093/JAMIA/OCAA213},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jamia/DelozierSBTWSGP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/Tobin-Hochstadt17,
  author       = {Sam Tobin{-}Hochstadt and
                  Matthias Felleisen and
                  Robert Bruce Findler and
                  Matthew Flatt and
                  Ben Greenman and
                  Andrew M. Kent and
                  Vincent St{-}Amour and
                  T. Stephen Strickland and
                  Asumu Takikawa},
  editor       = {Benjamin S. Lerner and
                  Rastislav Bod{\'{\i}}k and
                  Shriram Krishnamurthi},
  title        = {Migratory Typing: Ten Years Later},
  booktitle    = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
                  7-10, 2017, Asilomar, CA, {USA}},
  series       = {LIPIcs},
  volume       = {71},
  pages        = {17:1--17:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.17},
  doi          = {10.4230/LIPICS.SNAPL.2017.17},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/snapl/Tobin-Hochstadt17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/StricklandRF14,
  author       = {T. Stephen Strickland and
                  Brianna M. Ren and
                  Jeffrey S. Foster},
  editor       = {Andrew P. Black and
                  Laurence Tratt},
  title        = {Contracts for domain-specific languages in Ruby},
  booktitle    = {DLS'14, Proceedings of the 10th {ACM} Symposium on Dynamic Languages,
                  part of {SLASH} 2014, Portland, OR, USA, October 20-24, 2014},
  pages        = {23--34},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2661088.2661092},
  doi          = {10.1145/2661088.2661092},
  timestamp    = {Wed, 23 Jun 2021 16:58:51 +0200},
  biburl       = {https://dblp.org/rec/conf/dls/StricklandRF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/StricklandDTF13,
  author       = {T. Stephen Strickland and
                  Christos Dimoulas and
                  Asumu Takikawa and
                  Matthias Felleisen},
  title        = {Contracts for First-Class Classes},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {35},
  number       = {3},
  pages        = {11:1--11:58},
  year         = {2013},
  url          = {https://doi.org/10.1145/2518189},
  doi          = {10.1145/2518189},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/StricklandDTF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/TakikawaST13,
  author       = {Asumu Takikawa and
                  T. Stephen Strickland and
                  Sam Tobin{-}Hochstadt},
  editor       = {Matthias Felleisen and
                  Philippa Gardner},
  title        = {Constraining Delimited Control with Contracts},
  booktitle    = {Programming Languages and Systems - 22nd European Symposium on Programming,
                  {ESOP} 2013, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
                  2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7792},
  pages        = {229--248},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-37036-6\_14},
  doi          = {10.1007/978-3-642-37036-6\_14},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/TakikawaST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RenTSF13,
  author       = {Brianna M. Ren and
                  John Toman and
                  T. Stephen Strickland and
                  Jeffrey S. Foster},
  editor       = {Sung Y. Shin and
                  Jos{\'{e}} Carlos Maldonado},
  title        = {The ruby type checker},
  booktitle    = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
                  {SAC} '13, Coimbra, Portugal, March 18-22, 2013},
  pages        = {1565--1572},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2480362.2480655},
  doi          = {10.1145/2480362.2480655},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/RenTSF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TakikawaSDTF12,
  author       = {Asumu Takikawa and
                  T. Stephen Strickland and
                  Christos Dimoulas and
                  Sam Tobin{-}Hochstadt and
                  Matthias Felleisen},
  editor       = {Gary T. Leavens and
                  Matthew B. Dwyer},
  title        = {Gradual typing for first-class classes},
  booktitle    = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
                  part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
  pages        = {793--810},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2384616.2384674},
  doi          = {10.1145/2384616.2384674},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/TakikawaSDTF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/StricklandTFF12,
  author       = {T. Stephen Strickland and
                  Sam Tobin{-}Hochstadt and
                  Robert Bruce Findler and
                  Matthew Flatt},
  editor       = {Gary T. Leavens and
                  Matthew B. Dwyer},
  title        = {Chaperones and impersonators: run-time support for reasonable interposition},
  booktitle    = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
                  part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
  pages        = {943--962},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2384616.2384685},
  doi          = {10.1145/2384616.2384685},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/StricklandTFF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/StricklandF10,
  author       = {T. Stephen Strickland and
                  Matthias Felleisen},
  editor       = {William D. Clinger},
  title        = {Contracts for first-class classes},
  booktitle    = {Proceedings of the 6th Symposium on Dynamic Languages, {DLS} 2010,
                  October 18, 2010, Reno, Nevada, {USA}},
  pages        = {97--112},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1869631.1869642},
  doi          = {10.1145/1869631.1869642},
  timestamp    = {Tue, 22 Jun 2021 16:44:24 +0200},
  biburl       = {https://dblp.org/rec/conf/dls/StricklandF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/StricklandF09,
  author       = {T. Stephen Strickland and
                  Matthias Felleisen},
  editor       = {James Noble},
  title        = {Contracts for first-class modules},
  booktitle    = {Proceedings of the 5th Symposium on Dynamic Languages, {DLS} 2009,
                  October 26, 2010, Orlando, Florida, {USA}},
  pages        = {27--38},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1640134.1640140},
  doi          = {10.1145/1640134.1640140},
  timestamp    = {Fri, 25 Jun 2021 14:48:53 +0200},
  biburl       = {https://dblp.org/rec/conf/dls/StricklandF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/StricklandTF09,
  author       = {T. Stephen Strickland and
                  Sam Tobin{-}Hochstadt and
                  Matthias Felleisen},
  editor       = {Giuseppe Castagna},
  title        = {Practical Variable-Arity Polymorphism},
  booktitle    = {Programming Languages and Systems, 18th European Symposium on Programming,
                  {ESOP} 2009, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5502},
  pages        = {32--46},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00590-9\_3},
  doi          = {10.1007/978-3-642-00590-9\_3},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/StricklandTF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/StricklandF09,
  author       = {T. Stephen Strickland and
                  Matthias Felleisen},
  editor       = {Marco T. Moraz{\'{a}}n and
                  Sven{-}Bodo Scholz},
  title        = {Nested and Dynamic Contract Boundaries},
  booktitle    = {Implementation and Application of Functional Languages - 21st International
                  Symposium, {IFL} 2009, South Orange, NJ, USA, September 23-25, 2009,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6041},
  pages        = {141--158},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-16478-1\_9},
  doi          = {10.1007/978-3-642-16478-1\_9},
  timestamp    = {Mon, 05 Feb 2024 20:35:40 +0100},
  biburl       = {https://dblp.org/rec/conf/ifl/StricklandF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}