단일 프로그램 안의 타입이 있는 부분과 없는 부분 사이의 안전한 상호운용성으로 정의되는 점진적 타이핑에 관한 문헌을 폭넓게 정리한 참고문헌입니다.
이 참고문헌은 _점진적 타이핑_에 관한 모든 문헌을 다루고자 시도하며, 이를 단일 프로그램의 타입이 있는 부분과 없는 부분 사이의 안전한 상호운용성으로 정의한다. 이 참고문헌은 점진적 타이핑에 관한 최초의 연구에서 시작하는데, 이는 2006년 9월부터 2007년 1월 사이에 네 그룹의 저자들에 의해 서로 독립적으로 발표되었으며, 이후의 방대한 후속 문헌을 이론과 실천 양쪽 모두에서 다룬다.
후반부 섹션은 관련 연구를 다룬다. 먼저, 계약에 관한 연구와 같은 안전한 상호운용성의 초기 연구를 다룬다. 둘째, 기존의 무타입 언어와 함께 작동하도록 설계된 타입 시스템(넓은 의미에서 정의됨)에 관한 연구를 다루며, 여기에는 점진적 타이핑의 맥락에서 이루어진 최근 연구도 포함된다. 무타입 프로그램과의 상호운용성 문제도 함께 고려하는 타입 시스템 설계 연구는 참고문헌의 본문 섹션에 포함된다.
Scribble로 작성된 논문의 경우, 이 참고문헌은 패키지로 설치하여 논문에서 직접 참조할 수 있다. 설치하려면 다음 명령을 사용하라:
raco pkg install git://github.com/samth/gradual-typing-bib
사용 예시:
#lang scribble/base
@(require gradual-typing-bib
scriblib/autobib)
@(define-cite ~cite citet generate-bibliography)
Original gradual typing papers
@~cite[st-sfp-2006 thf-dls-2006 mf-toplas-2007 gktff-sfp-2006].
@generate-bibliography[]
이 네 편의 논문은 모두 점진적 타이핑의 근본 아이디어, 즉 계약을 사용한 타입의 동적 강제를 독립적으로 도입한다.
Jeremy G. Siek and Walid Taha.
Seventh Workshop on Scheme and Functional Programming, University of Chicago Technical Report TR-2006-06, pages 81–92, September 2006.
http://ecee.colorado.edu/~siek/pubs/pubs/2006/siek06_gradual.pdf
Sam Tobin-Hochstadt and Matthias Felleisen.
OOPSLA ’06: Companion to the 21st annual ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications, pages 964–974. ACM Press, 2006.
http://www.ccs.neu.edu/racket/pubs/dls06-tf.pdf
Jacob Matthews and Robert Bruce Findler
POPL 2007
이후 TOPLAS 2009 버전을 참조.
http://www.eecs.northwestern.edu/~robby/pubs/papers/toplas09-mf.pdf
Jessica Gronski, Kenneth Knowles, Aaron Tomb, Stephen N. Freund, and Cormac Flanagan In Seventh Workshop on Scheme and Functional Programming, University of Chicago Technical Report TR-2006-06, pages 93-104, September 2006.
http://users.soe.ucsc.edu/~atomb/gronski06sage.pdf
여기 아래의 모든 논문은 최소한 위의 최초 논문 4편 중 하나를 인용한다.
Kenneth Knowles, Aaron Tomb, Jessica Gronski, Stephen N. Freund, Cormac Flanagan. Technical report, May 2007
http://sage.soe.ucsc.edu/sage-tr.pdf
David Herman, Aaron Tomb, and Cormac Flanagan. In Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007, pages 1–18, 2008. (이후 저널 버전 참조.)
Jeremy G. Siek and Walid Taha.
ECOOP 2007, volume 4609 of LCNS, pages 2–27. Springer Verlag, August 2007.
http://ecee.colorado.edu/~siek/gradual-obj.pdf
Ryan Culpepper, Sam Tobin-Hochstadt, and Matthew Flatt.
Proceedings of the 2007 Workshop on Scheme and Functional Programming, Universit́e Laval Technical Report DIUL-RT-0701, pages 1–13, 2007
http://www.ccs.neu.edu/racket/pubs/scheme2007-ctf.pdf
Philip Wadler and Robert Bruce Findler
Proceedings of the 2007 Workshop on Scheme and Functional Programming, Universit́e Laval Technical Report DIUL-RT-0701, pages 1–13, 2007
http://www.eecs.northwestern.edu/~robby/pubs/papers/scheme2007-wf.pdf
Lars T Hansen Adobe Systems Technical Report, November 2007
http://www.ecmascript.org/es4/spec/evolutionary-programming-tutorial.pdf
David Herman, Cormac Flanagan Proceedings of the 2007 workshop on Workshop on ML, Pages 47-52, 2007.
http://users.soe.ucsc.edu/~cormac/papers/ml07.pdf
Sam Tobin-Hochstadt and Matthias Felleisen.
POPL ’08: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 395–406. ACM Press, 2008
http://www.ccs.neu.edu/racket/pubs/popl08-thf.pdf
Kathryn E. Gray
proceedings of ECOOP 2008
http://www.cl.cam.ac.uk/~keg29/inheritance-model/inheritance.pdf
Jeremy G. Siek, Manish Vachharajani
DLS ‘08 Proceedings of the 2008 symposium on Dynamic languages, 2008
http://ecee.colorado.edu/~siek/dls08igtlc.pdf
Sam Tobin-Hochstadt and Matthias Felleisen.
Higher-Order and Symbolic Computation 게재 예정.
Philip Wadler and Robert Bruce Findler
ESOP ’09: Proceedings of the Eighteenth European Symposium on Programming, volume 5502 of Lecture Notes in Computer Science, pages 1–16. Springer-Verlag, 2009.
Jeremy Siek, Ronald Garcia, Walid Taha In ESOP ’09: Proceedings of the Eighteenth European Symposium on Programming, volume 5502 of Lecture Notes in Computer Science, pages 17-31. Springer-Verlag, 2009.
http://ecee.colorado.edu/~siek/siek09esop.pdf
Kathryn E. Gray Chapter of Semantics Engineering with PLT Redex Edited by Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen. MIT Press 2009
Jacob Matthews and Robert Bruce Findler
ACM Transactions on Programming Languages and Systems, 31(3):1–44, 2009.
http://www.eecs.northwestern.edu/~robby/pubs/papers/toplas09-mf.pdf
Lintaro Ina and Atsushi Igarashi. Computer Software, 26(2):18–40, 2009.
일본어: Featherweight Javaのための漸進的型付け https://www.jstage.jst.go.jp/article/jssst/26/2/26_2_2_18/_pdf
Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, and Michael Hicks
SAC ’09: Proceedings of the 2009 ACM Symposium on Applied Computing, pages 1859–1866. ACM Press, 2009
Tobias Wrigstad, Nate Nystrom, and Jan Vitek, editors.
ACM Press 2009
Matthias Felleisen STOP 2009 초청 강연 http://www.ccs.neu.edu/home/matthias/Presentations/stop.html
Lintaro Ina, Atsushi Igarashi
STOP ‘09 Proceedings for the 1st workshop on Script to Program Evolution, 2009
이후 OOPSLA 2011 버전 참조
Nikhil Swamy, Michael Hicks, Gavin M. Bierman Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, Pages 329-340, 2009
Jeremy G. Siek, Philip Wadler
STOP ‘09 Proceedings for the 1st workshop on Script to Program Evolution, 2009
이후 POPL 2010 버전 참조. http://homepages.inf.ed.ac.uk/wadler/papers/threesomes-stop/threesomes-stop.pdf
Wrigstad, Eugster, Field, Nystrom, Vitek
STOP ‘09 Proceedings for the 1st workshop on Script to Program Evolution, 2009
Sam Tobin-Hochstadt and Robert Bruce Findler.
STOP ‘09 Proceedings for the 1st workshop on Script to Program Evolution, 2009, pages 47–57
Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, and Michael Hicks.
STOP ‘09 Proceedings for the 1st workshop on Script to Program Evolution, 2009, pages 14–16.
Bard Bloom, John Field, Nathaniel Nystrom, Johan Ostlund, Gregor Richards, Rok Strnisa, Jan Vitek, and Tobias Wrigstad.
OOPSLA, 2009.
Jan Vitek
DLS 2009 초청 강연 http://dl.acm.org/citation.cfm?id=1640134.1640136
Michael Furr Ph.D. Thesis, University of Maryland, 2009
Hannes Mehnert Diploma Thesis, Technische Universit ̈at Berlin, October 1, 2009
Sam Tobin-Hochstadt
PhD Dissertation, Northeastern University, January 2010.
Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Ostlund, and Jan Vitek.
Symposium on Principles of Programming Languages, 2010.
Jeremy G. Siek and Philip Wadler.
Symposium on Principles of Programming Languages, 2010.
Matthias Felleisen TLDI ‘10 Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation 초청 강연
http://dl.acm.org/citation.cfm?id=1708016.1708017
David Herman, Aaron Tomb, and Cormac Flanagan Higher-Order and Symbolic Computation, Vol. 23 No. 2, pages 167-189, 2010
Gavin Bierman, Erik Meijer, and Mads Torgersen. European Conference on Object-Oriented Programming, ECOOP’10. Springer-Verlag, 2010.
Hannes Mehnert Proceedings of the 2010 international conference on Lisp, Pages 1-10, 2010. https://doi.org/10.1145/1869643.1869645
Kathryn E. Gray
FOOL 2010
Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, and Philip Wadler.
Symposium on Principles of Programming Languages, January 2011. http://homepages.inf.ed.ac.uk/wadler/papers/blame-for-all/blame-for-all.pdf
Edited by Robert Bruce Findler January 2011
Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, and Matthias Felleisen PLDI 2011
M. Bayne, R. Cook, and M.D. Ernst.
International Conference on Software Engineering, 2011.
Roger Wolff, Ronald Garcia, Éric Tanter, and Jonathan Aldrich.
European Conference on Object-Oriented Programming, ECOOP’11. Springer-Verlag, 2011. http://pleiad.dcc.uchile.cl/papers/2011/wolffAl-ecoop2011.pdf
Lintaro Ina and Atsushi Igarashi.
Proceedings of the 2011 ACM International conference on Object oriented programming systems languages and applications, OOPSLA ’11, 2011.
Mason Chang, Bernd Mathiske, Edwin Smith, Avik Chaudhuri, Andreas Gal, Michael Bebenita, Christian Wimmer, Michael Franz Proceedings of the 7th symposium on Dynamic languages, Pages 13-24, 2011
Tim Disney and Cormac Flanagan International Workshop on Scripts to Programs, 2011
Jukka Lehtosalo and David J. Greaves International Workshop on Scripts to Programs, 2011
Esteban Allende, Johan Fabry Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, Article No. 3, 2011
Edited by Robert Hirschfeld, Shriram Krishnamurthi, and Jan Vitek http://www.cs.purdue.edu/homes/jv/pubs/dagstuhl12.pdf
Aseem Rastogi, Avik Chaudhuri, and Basil Hosmer.
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL ’12, 2012.
Christos Dimoulas, Sam Tobin-Hochstadt, and Matthias Felleisen.
European Symposium on Programming (ESOP), March 2012.
I. Sergey, D. Clarke In ESOP 2012, LNCS, vol. 7211, pp. 579–599, 2012.
Grzegorz Kossakowski, Nada Amin, Tiark Rompf, and Martin Odersky In ESOP 2012, LNCS, vol. 7211, pp. 409–434, 2012.
Edwin Westbrook, Jisheng Zhao, Zoran Budimli ́c, and Vivek Sarkar In ESOP 2012, LNCS, vol. 7211, pp. 614–639, 2012.
David Broman, Jeremy G. Siek EECS University of California at Berkeley Technical Report No. UCB/EECS-2012-173
Jaime Niño
ACM-SE ‘12 Proceedings of the 50th Annual Southeast Regional Conference
조사/개요 논문
Edited by Sam Tobin-Hochstadt
NU CCIS Technical Report NU-CCIS-12-02, June 2012.
Michael M. Vitousek, Shashank Bharadwaj, Jeremy G. Siek
STOP 2012
Jeremy G. Siek and Ronald Garcia.
Scheme and Functional Programming Workshop, 2012.
Esteban Allende, Johan Fabry In 2012 31st International Conference of the Chilean Computer Science Society. https://doi.org/10.1109/SCCC.2012.7
Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt and Matthias Felleisen.
Object Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2012.
T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler and Matthew Flatt.
Object Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2012.
Shashank Bharadwaj. Master’s Thesis, Department of Electrical, Energy and Computer Engineering, University of Colorado 2012. https://scholar.colorado.edu/cgi/viewcontent.cgi?article=1056&context=ecen_gradetds
Jeremy G. Siek, Michael M. Vitousek, and Shashank Bharadwaj.
미출판 원고, 2012.
http://ecee.colorado.edu/~siek/gtmo.pdf
Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt.
ESOP 2013.
Luminous Fennell,Peter Thiemann Trends in Functional Programming, LNCS Volume 7829, 2013, pp 37-52
Brianna M. Ren, John Toman, T. Stephen Strickland, Jeffrey S. Foster
OOPS 2013
Spyros Hadjichristodoulou and David Warren Workshop on Logic-based Programming Environments (WLPE 2012)
Esteban Allende, Oscar Callaú, Johan Fabry, Éric Tanter, and Marcus Denker.
Science of Computer Programming (2013). http://pleiad.dcc.uchile.cl/papers/2013/allendeAl-scp2013.pdf
Esteban Allende, Johan Fabry, Éric Tanter Proceedings of the 9th ACM Dynamic Languages Symposium (DLS 2013), Indianapolis, IN, USA, October 2013, ACM Press http://pleiad.dcc.uchile.cl/papers/2013/allendeAl-dls2013.pdf
Luminous Fennell, Peter Thiemann. Computer Security Foundations Symposium (CSF) 2013, IEEE, 224-239. https://doi.org/10.1109/CSF.2013.22
Ronald Garcia. ICFP 2013, ACM, New York, NY, USA, 417-428. https://doi.org/10.1145/2500365.2500603
Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich: ACM TOPLAS 36(4): 12:1-12:44 (2014) http://pleiad.dcc.uchile.cl/papers/2014/garciaAl-toplas2014.pdf
Álvaro García-Pérez, Pablo Nogueira, Ilya Sergey. PEPM 2014, ACM, 157-168. https://doi.org/10.1145/2543728.2543742
John Tang Boyland. FOOL 2014. http://www.cs.uwm.edu/faculty/boyland/papers/type-test.pdf
Peter Thiemann, Luminous Fennell ESOP 2014, LNCS vol. 8410, Springer. https://doi.org/10.1007/978-3-642-54833-8_4
Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter. International Conference on Functional Programming 2014. http://pleiad.dcc.uchile.cl/papers/2014/banadosAl-icfp2014.pdf
Michael M. Vitousek, Andrew Kent, Jeremy G. Siek, Jim Baker Proceedings of the 10th ACM Dynamic Languages Symposium (DLS 2014), Portland, OR, USA, October 2014, ACM Press
Gavin Bierman, Martín Abadi, Mads Torgersen. ECOOP 2014, LNCS vol 8586, Springer. https://doi.org/10.1007/978-3-662-44202-9_11
Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin Bierman POPL 2014, ACM, New York, NY, USA 425-437. https://doi.org/10.1145/2535838.2535889
Jakub Zalewski Master’s Thesis, School of Informatics, University of Edinburgh. http://project-archive.inf.ed.ac.uk/msc/20141715/msc_proj.pdf
Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter. OOPSLA 2014 http://pleiad.dcc.uchile.cl/papers/2014/allendeAl-oopsla2014.pdf
Neil Savage Communications of the ACM, vol. 57 issue 10, 2014. https://doi.org/10.1145/2659764
Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin Bierman, Panagiotis Vekris. Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ‘15). ACM, New York, NY, USA, 167-180. https://doi.org/10.1145/2775051.2676971
Ronald Garcia, Matteo Cimini. POPL 2015, ACM, New York, NY, USA, 303-315. https://doi.org/10.1145/2775051.2676992
Jeremy Siek, Michael M. Vitousek, Matteo Cimmini, Sam Tobin-Hochstadt, Ronald Garcia ESOP 2015, LNCS Volume 9032, pp 432-456
OSCAR EDWIN ALVAREZ CALLAU ́ Ph.D. Thesis, University of Chile, 2015. http://repositorio.uchile.cl/bitstream/handle/2250/132889/Empirically-driven-design-and-implementation-of-Gradualtalk.pdf?sequence=1
Asumu Takikawa, Daniel Feltey, Earl Dean, Robert Bruce Findler, Matthew Flatt, Sam Tobin-Hochstadt, Matthias Felleisen ECOOP 2015, LIPIcs Volume 37, pp 4-27
Gregor Richards, Francesco Zappa Nardelli, Jan Vitek ECOOP 2015, LIPIcs Volume 37, pp 76-100
Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland SNAPL 2015, LIPIcs Volume 32, pp 274-293 http://drops.dagstuhl.de/opus/volltexte/2015/5031/
Matías Toro, Éric Tanter In Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (pp. 935-953) http://pleiad.dcc.uchile.cl/papers/2015/toroTanter-oopsla2015.pdf
Éric Tanter, Nicolas Tabareau Proceedings of the 11th ACM Dynamic Languages Symposium (DLS 2015), pp.26-40, Pittsburgh, PA, USA, October 2015, ACM Press http://pleiad.dcc.uchile.cl/papers/2015/tanterTabareau-dls2015.pdf
Philip Wadler SNAPL 2015, LIPIcs vol. 32, 309-320. http://drops.dagstuhl.de/opus/volltexte/2015/5033/
André Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy DLS 2015, ACM, Pages 13-25. https://doi.org/10.1145/2816707.2816709
T. Sekiyama, S. Ueda, A. Igarashi. APLAS 2015. LNCS, vol 9458. Springer. https://doi.org/10.1007/978-3-319-26529-2_11
Luminous Fennell and Peter Thiemann. ECOOP 2016, Leibniz International Proceedings in Informatics (LIPIcs), Pages 9:1–9:26. http://drops.dagstuhl.de/opus/volltexte/2016/6103/
Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter. Journal of Functional Programming, vol. 26, 2016. https://doi.org/10.1017/S0956796816000162
Ronald Garcia, Alison M. Clark, Éric Tanter POPL 2016, ACM, New York, NY, USA, 429-442. http://dl.acm.org/citation.cfm?id=2837670 http://pleiad.dcc.uchile.cl/papers/2016/garciaAl-popl2016.pdf
Matteo Cimini, Jeremy Siek POPL 2016, ACM, New York, NY, USA, 443-455. http://cimini.info/publications/Gradualizer_Draft.pdf
Asumu Takikawa, Daniel Feltey, Ben Greenman, Max New, Jan Vitek, Matthias Felleisen POPL 2016, ACM, New York, NY, USA, 456-468. http://www.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf
Jakub Zalewski Master of Science by Research, School of Informatics, University of Edinburgh. https://project-archive.inf.ed.ac.uk/msc/20162082/msc_proj.pdf
Daniel Brotherston. Master’s Thesis, University of Waterloo. https://uwspace.uwaterloo.ca/handle/10012/10409
Fabio Strocco. Ph.D. Thesis, Aarhus University, 2016. https://pure.au.dk/portal/files/108950717/Thesis_Fabio_Strocco.pdf
Felipe Bañados Schwerter SLE 2016, ACM, Pages 195-206. https://doi.org/10.1145/2997364.2997381
Jeremy G. Siek, Sam Tobin-Hochstadt. A List of Successes That Can Change the World (Wadler Fest), LNCS volume 9600, Springer, 2016, 388-410. https://doi.org/10.1007/978-3-319-30936-1_21
Jeremy G. Siek, Peter Thiemann, Philip Wadler. PLDI 2016, ACM, New York, NY, USA, 425-435. https://doi.org/10.1145/2737924.2737968
Pieter Vander Vennet. Master’s Dissertation, Ghent University. http://lib.ugent.be/fulltxt/RUG01/002/376/271/RUG01-002376271_2017_0001_AC.pdf
Amal Ahmed, Dustin Jamner, Jeremy G. Siek, Philip Wadler ICFP 2017, ACM, New York, NY, USA https://doi.org/10.1145/3110283
Luminous Fennell Ph.D. Thesis, University of Freiburg October 2017 https://d-nb.info/1174142367/34
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler ICFP 2017, ACM, New York, NY, USA https://doi.org/10.1145/3110282
Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi ICFP 2017, ACM, New York, NY, USA https://doi.org/10.1145/3110284
Giuseppe Castagna, Victor Lanvin ICFP 2017, ACM, New York, NY, USA https://doi.org/10.1145/3110285
Spenser A. Bauman, Sam Tobin-Hochstadt, Jeremy G. Siek, Carl Friedrich Bolz-Tereick OOPSLA 2017, ACM, New York, NY, USA https://doi.org/10.1145/3133878
Gregor Richards, Ellen Arteca, Alexi Turcotte OOPSLA 2017, ACM, New York, NY, USA https://doi.org/10.1145/3133879
Fabian Muehlboeck, Ross Tate OOPSLA 2017, ACM, New York, NY, USA https://doi.org/10.1145/3133880
M. Toro, É Tanter. SAS 2017, LNCS vol. 10422, Springer. https://doi.org/10.1007/978-3-319-66706-5_19
Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski ECOOP 2017, Leibniz International Proceedings in Informatics (LIPIcs), pages 28:1–28:29. http://drops.dagstuhl.de/opus/volltexte/2017/7264/
Sam Tobin-Hochstadt, Matthias Felleisen, Robert Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa SNAPL 2017, Leibniz International Proceedings in Informatics (LIPIcs), pages 17:1–17:17. http://drops.dagstuhl.de/opus/volltexte/2017/7120/
Michael M. Vitousek, Cameron Swords, and Jeremy G. Siek. POPL 2017, ACM, New York, NY, USA, 762-774. https://doi.org/10.1145/3093333.3009849
Nico Lehmann, Éric Tanter. POPL 2017, ACM, New York, NY, USA, 775-788. https://doi.org/10.1145/3093333.3009856
Matteo Cimini, Jeremy G. Siek. POPL 2017, ACM, New York, NY, USA, 789-803. https://doi.org/10.1145/3093333.3009863
Khurram A. Jafery, Joshua Dunfield. POPL 2017, ACM, New York, NY, USA, 804-817. https://doi.org/10.1145/3093333.3009865
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer. POPL 2017, ACM, New York, NY, USA, 86-99. https://doi.org/10.1145/3009837.3009900
David Broman, Jeremy G. Siek PEPM 2018, ACM, New York, NY, USA, 15–29. https://doi.org/10.1145/3162068 https://people.kth.se/~dbro/papers/broman-siek-2018-gradually-typed-symbols.pdf
Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira. ESOP 2018, LNCS vol 10801, Springer. https://doi.org/10.1007/978-3-319-89884-1_1
Ben Greenman, Zeina Migeed. PEPM 2018, ACM, New York, NY, USA. https://doi.org/10.1145/3162066
Max S. New, Amal Ahmed. ICFP 2018, ACM, New York, NY, USA. https://doi.org/10.1145/3236768
Ben Greenman, Matthias Felleisen. ICFP 2018, ACM, New York, NY, USA. https://doi.org/10.1145/3236766
John Peter Campora, Sheng Chen, Eric Walkingshaw. ICFP 2018, ACM, New York, NY, USA. https://doi.org/10.1145/3236793
John Peter Campora, Sheng Chen, Martin Erwig, Eric Walkingshaw. POPL 2018, ACM, New York, NY, USA. https://doi.org/10.1145/3158103
Andre Kuhlenschmidt and Deyaaeldeen Almahallawi and Jeremy G. Siek. arXiv:1802.06375, February 2018. https://arxiv.org/abs/1802.06375 (아래 PLDI 2019 논문의 이전 버전이다.)
Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek. ECOOP 2018, Leibniz International Proceedings in Informatics (LIPIcs), Pages 12:1–12:24. http://drops.dagstuhl.de/opus/volltexte/2018/9217/
Richard Roberts, Stefan Marr, Michael Homer, James Noble. arXiv:1807.00661 https://arxiv.org/abs/1807.00661
Niki Vazou, Éric Tanter, David Van Horn. OOPSLA 2018, ACM. https://arxiv.org/abs/1807.02132
Matías Toro, Ronald Garcia, Éric Tanter. POPL 2019, ACM. https://doi.org/10.1145/3229061 Technical Report TR/DCC-2018-4, Computer Science Department, University of Chile. https://www.dcc.uchile.cl/TR/2018/TR_DCC-20180801-004.pdf
Daniel Feltey, Ben Greenman, Christophe Scholliers, Robert Bruce Findler, Vincent St-Amour. OOPSLA 2018, ACM. https://www.eecs.northwestern.edu/~robby/pubs/papers/oopsla2018-fgsfs.pdf https://doi.org/10.1145/3276503
Matías Toro, Elizabeth Labrada, Éric Tanter. POPL 2019, ACM. https://doi.org/10.1145/3290330 arXiv:1807.04596 July 2018 https://arxiv.org/abs/1807.04596
Preston Tunnell Wilson, Justin Pombrio, Ben Greenman, Shriram Krishnamurthi. DLS 2018, ACM. http://www.ccis.northeastern.edu/~types/publications/apples-to-apples/tgpk-dls-2018.pdf
Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi. POPL 2019, ACM. https://doi.org/10.1145/3290331 arXiv:1810.12619 October 2018 https://arxiv.org/abs/1810.12619
Pedro Ângelo, Mário Florido. Workshop on Intersection Types and Related Systems (ITRS) 2018. http://t-news.cn/Floc2018/FLoC2018-pages/proceedings_paper_216.pdf
Benjamin Chung, Jan Vitek. ISSTA 2018, ACM. https://doi.org/10.1145/3236454.3236475
Max S. New, Dan Licata, Amal Ahmed. POPL 2019, ACM. https://doi.org/10.1145/3290328
Giuseppe Castagna, Victor Lanvin, Tommaso Petrucciani, Jeremy G. Siek. POPL 2019, ACM. https://doi.org/10.1145/3290329
Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew Hammer. POPL 2019, ACM. https://doi.org/10.1145/3290327
Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek. PLDI 2019, ACM. https://doi.org/10.1145/3314221.3314627 https://akuhlens.github.io/paper/pldi19.pdf
Rafi Shan Turas Masters Thesis 2019 University of Waterloo
Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri. arXiv:1902.07808 February 2019 https://arxiv.org/abs/1902.07808
이 논문들은 모두 점진적 타이핑 프로젝트의 핵심에 있는, 타입이 있는 언어와 없는 언어 사이의 상호운용성 문제를 다룬다. 상호운용성을 고려하지 않는 무타입 언어의 타입 검사에 관한 논문은 다음 섹션에 나온다.
Satish Thatte
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL ‘90). ACM, New York, NY, USA, 367-381.
Gilad Bracha.
OOPSLA Workshop on the Revival of Dynamic Languages, 2004.
Robert Bruce Findler and Matthias Felleisen
ICFP ’02: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming, pages 48–59. ACM Press, 2002
Christopher Anderson, Sophia Drossopoulou
Proceedings of Workshop on Object Oriented Developments 2003, Electronic Notes in Theoretical Computer Science, Volume 82, Issue 8, October 2003, Pages 53–81
Kathryn E. Gray and Matthew Flatt.
Scheme Workshop 2004
Kathryn E. Gray, Robert Bruce Findler, and Matthew Flatt.
OOPSLA ’05: Proceedings of the 20th annual ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications, pages 231–245. ACM Press, 2005
Cormac Flanagan.
Conference Record of POPL ’06: The 33th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 245–256. ACM Press, 2006.
Kathryn E. Gray
PhD Dissertation, University of Utah, School of Computing, August 2006.
Giovanni Lagorio and Elena Zucca ACM Symp. on Applied Computing (SAC 2006), Special Track on Object-Oriented Programming Languages and Systems, 2006
Giovanni Lagorio and Elena Zucca Journal of Object Technology, Vol. 6, No. 2, Special Issue OOPS Track at SAC 2006, February 2007
Jessica Gronski, Cormac Flanagan. Trends in Functional Programming, 2007.
João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce Programming Languages and Systems, LNCS Volume 6602, 2011, pp 18-37 http://www.seas.upenn.edu/~mgree/papers/esop2011sub_fh.pdf
Michael Greenberg. PhD Dissertation, University of Pennsylvania, January 2013. https://repository.upenn.edu/cgi/viewcontent.cgi?article=1625&context=edissertations
Matthias Blume and David Mcallester. Journal of Functional Programming, vol 16, 2006. https://doi.org/10.1017/S0956796806005971
Christos Dimoulas and Matthias Felleisen. ACM Transactions on Programming Languages and Systems (TOPLAS), 33(5):1–29, 2011. https://doi.org/10.1145/2039346.2039348
이 논문들은 기존의 무타입 프로그램과 프로그래밍 언어를 타입 검사하는 과제를 다루지만, 상호운용성이라는 점진적 타입 검사의 핵심 관심사는 다루지 않는다.
Robert Cartwright.
International Conference on Automata, Languages and Programming, pages 228–256, 1976.
Norihisa Suzuki
POPL ‘81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Norihisa Suzuki and Minoru Terada
POPL ‘84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Ralph E. Johnson and Justin O. Graver and Lawrence W. Zurawski OOPSLA ‘88: Proceedings of the 3rd annual ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications, pages 18-26. http://dl.acm.org/citation.cfm?id=62086
Alexander Aiken and Brian R. Murphy
POPL ’91: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 279–290. ACM Press, 1991.
Robert Cartwright and Mike Fagan.
PLDI ’91: Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation, pages 278–292. ACM Press, 1991.
Gilad Bracha and David Griswold.
OOPSLA ’93: Proceedings of the 8th annual ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications, pages 215–230. ACM Press, 1993.
Robert Akers
University of Texas Dissertation, also Computational Logic Inc Technical Report 96
ftp://ftp.cs.utexas.edu/pub/boyer/diss/akers.pdf
Alexander Aiken, Edward L. Wimmers, and T. K. Lakshman
POPL ’94: Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 163–173. ACM Press, 1994
Fritz Henglein.
Science of Computer Programming, 22(3):197–230, 1994.
Fritz Henglein and Jakob Rehof.
FPCA ’95: Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture, pages 192–203. ACM Press, 1995.
Christopher T. Haynes
Technical Report 367, Indiana University, 1995.
Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, and Matthias Felleisen
Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation (PLDI ‘96)
http://www.ccs.neu.edu/racket/pubs/#pldi96-ffkwf
Gilad Bracha
OOPSLA96 Workshop on Extending the Smalltalk Language, 1996
http://www.bracha.org/nwst.html
Robert Cartwright and Matthias Felleisen
ACM Computing Surveys 28, 2 (June 1996)
http://www.ccs.neu.edu/racket/pubs/#cs96-cf
Cormac Flanagan and Matthias Felleisen
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation (PLDI ‘97)
http://www.ccs.neu.edu/racket/pubs/#pldi97-ff
Simon Marlow and Philip Wadler.
ICFP ’97: Proceedings of the Second ACM SIGPLAN International Conference on Functional Programming, pages 136–149. ACM Press, 1997. http://homepages.inf.ed.ac.uk/wadler/topics/erlang.html
Andrew K. Wright and Robert Cartwright. ACM Transactions on Programming Languages and Systems, 19(1):87–152, 1997
Cormac Flanagan and Matthias Felleisen
Lisp in the Mainstream: The 40th Annniversary Conference of Lisp Users.
Berkeley, November 1998.
http://www.ccs.neu.edu/racket/pubs/#lugm98-ff
Cormac Flanagan and Matthias Felleisen
ACM Trans. Program. Lang. Syst. 21, 2 (March 1999), 370-416
http://www.ccs.neu.edu/racket/pubs/#toplas99-ff
Drew McDermott.
Technical Report YALE/DCS/RR-642, Yale University, Department of Computer Science, 2004
Michael Salib.
Master’s thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts, 2004.
Gary T. Leavens, Curtis Clifton, and Brian Dorn.
Technical Report 05-18a, Iowa State University, 2005.
Tobias Lindahl and Konstantinos Sagonas International Symposium on Principles and Practice of Declarative Programming (PPDP), 2006. http://www.it.uu.se/research/group/hipe/papers/succ_types.pdf
이 연구는 상호운용성에 대한 점진적 타이핑 연구의 영향을 받은 무타입 언어용 타입 시스템을 제시하지만, 타입된 코드/무타입 코드 상호운용성을 명시적으로 다루지는 않는다.
T. Stephen Strickland, Sam Tobin-Hochstadt, and Matthias Felleisen.
European Symposium on Programming (ESOP), March 2009.
Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, and Michael Hicks
Object-Oriented Program Languages and Systems (OOPS) Track at ACM Symposium on Applied Computing (SAC), pages 1859–1866, Honolulu, Hawaii, March 2009.
Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, and Michael Hicks
1st International Workshop on Script to Program Evolution (STOP), Genova, Italy, July 2009.
Michael Furr, Jong-hoon (David) An, and Jeffrey S. Foster
ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 283–300, Orlando, Floria, October 2009.
Mark T. Daly, Vibha Sazawal, and Jeffrey S. Foster
Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU), Orlando, Florida, October 2009.
Jong-hoon (David) An, Avik Chaudhuri, and Jeffrey S. Foster
IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 590–594, Auckland, New Zealand, November 2009. 단편 논문.
Sam Tobin-Hochstadt and Matthias Felleisen
International Conference on Functional Programming (ICFP), September 2010.
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, and Michael Hicks
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 459–472, Austin, TX, USA, January 2011.
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, and Michael Hicks
2nd International Workshop on Script to Program Evolution (STOP), Austin, TX, USA, January 2011.
Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt and Matthias Felleisen
Symposium on Practical Aspects of Declarative Languages (PADL), January 2012.
Ravi Chugh, Patrick M. Rondon, and Ranjit Jhala
Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 231-244, Philadelphia, PA, January 2012.
Ravi Chugh, David Herman, Ranjit Jhala STOP 2012 이후 OOPSLA 논문 참조.
Michael Homer and James Noble
STOP 2012
Ravi Chugh, David Herman, and Ranjit Jhala
Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 587-606, Tucson, AZ, October 2012.
Joe Gibbs Politz, Hannah Quay-de la Vallee, Shriram Krishnamurthi
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software (Onward! ‘12)
http://cs.brown.edu/~sk/Publications/Papers/Published/pqk-progressive-types/
Ambrose Bonnaire-Sergeant
Honours thesis, University of Western Australia, 2012 http://cloud.github.com/downloads/frenchy64/papers/ambrose-honours.pdf
André Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy. Dyla 2014. http://www.lifl.fr/dyla14/papers/dyla14-4-typed-lua-an-optional-type-system.pdf
Ambrose Bonnaire-Sergeant, Rowan Davies, and Sam Tobin-Hochstadt.
ESOP 2016: Proceedings of the 25th European Symposium on Programming Languages and Systems, volume 9632 of Lecture Notes in Computer Science, pages 68-94. Springer-Verlag, 2016.
http://frenchy64.github.io/papers/esop16-short.pdf
Andrew M. Kent, David Kempe, and Sam Tobin-Hochstadt. In Proceedings of the ACM SIGPLAN 2016 conference on Programming Language Design and Implementation (PLDI ‘16)