Home
•
Course Info
•
Schedule
•
Literature
•
News
•
Presentation slides
Center
Master Program
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Course Literature
Tbpa
#ToABHR99 *Abadi et al. (POPL 1999)* <br> Martín Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. [[http://dx.doi.org/10.1145/292540.292555][A core calculus of dependency]]. In _POPL '99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 20–22, 1999, San Antonio, TX_, pages 147–160. ACM Press, 1999. #ToAGHSS05 *Aspinall et al. (CASSIS 2004)* <br> David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, and Ian Stark. [[http://dx.doi.org/10.1007/b105030][Mobile resource guarantees for smart devices]]. In Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, and Traian Muntean, editors, _Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10–14, 2004, Revised Selected Papers_, volume 3362 of _Lecture Notes in Computer Science_, pages 1–26. Springer-Verlag, 2005. #ToBW95 *Birkedal and Welinder (LSC 1995)* <br> Lars Birkedal and Morten Welinder. [[http://dx.doi.org/10.1007/BF01019003][Binding-time analysis for Standard ML]]. _Lisp and Symbolic Computation_, 8(3):191–208, 1995. #ToB92 *Bondorf (LFP 1992)* <br> Anders Bondorf. [[http://dx.doi.org/10.1145/141471.141483][Improving binding times without explicit CPS-conversion]]. In _Proceedings of the Conference on Lisp and Functional Programming, San Francisco, California, USA, 22–24 June 1992_, pages 1–10. ACM Press, 1992. #ToCAA07 *Cheney et al. (DBPL 2007)* <br> James Cheney, Amal Ahmed, and Umut A. Acar. [[http://dx.doi.org/10.1007/978-3-540-75987-4_10][Provenance as dependency analysis]]. In Marcelo Arenas and Michael I. Schwartzbach, editors, _Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23–24, 2007, Revised Selected Papers_, volume 4797 of _Lecture Notes in Computer Science_, pages 138–152. Springer-Verlag, 2007. #ToCCSR04 *Chin et al. (PLDI 2004)* <br> Wei-Ngan Chin, Florin Cracjun, Qin Shangchao, and Martin C. Rinard. [[http://dx.doi.org/10.1145/996841.996871][Region inference for an object-oriented language]]. In William Pugh and Craig Chambers, editors, _Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, Washington, DC, USA, June 9 –11, 2004_, pages 243–254. ACM Press, 2004. #ToCHAGN07 *Condit et al. (ESOP 2007)* <br> Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay and George C. Necula. [[http://dx.doi.org/10.1007/978-3-540-71316-6_35][Dependent types for low-level programming]]. In Rocco Di Nicola, editor, _Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24–April 1, 2007, Proceedings_, volume 4421 of _Lecture Notes in Computer Science_, pages 520–535. Springer-Verlag, 2007. #ToCD93 *Consel and Danvy (POPL 1993)* <br> Charles Consel and Olivier Danvy. [[http://dx.doi.org/10.1145/158511.158707][Tutorial notes on partial evaluation]]. In _Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, January 1993_, pages 493–501. ACM Press, 1993. #ToD96 *Danvy (POPL 1996)* <br> Olivier Danvy. [[http://dx.doi.org/10.1145/237721.237784][Type-directed partial evaluation]]. In _Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, 21–24 January 1996_, pages 242–257. ACM Press, 1996. #ToDMP95 *Danvy et al. (LSC 1995)* <br> Olivier Danvy, Karoline Malmkjær, and Jens Palsberg. [[http://dx.doi.org/10.1007/BF01019004][The essence of eta-expansion in partial evaluation]]. _Lisp and Symbolic Computation_, 8(3):209–227, 1995. #ToDP96 *Danvy and Palsberg (TOPLAS 1996)* <br> [[http://dx.doi.org/10.1145/236114.236119][Eta-expansion does the trick]]. _ACM Transactions on Programming Languages and Systems (TOPLAS)_, 18(6):730–751, 1996. #ToDGC95 *Dean et al. (ECOOP 1995)* <br> Jeffrey Dean, David Grove, and Craig Chambers. [[http://dx.doi.org/10.1007/3-540-49538-X_5][Optimization of object-oriented programs using static class hierarchy analysis]]. In Walter G. Olthoff, editor, _ECOOP'95, Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995, Proceedings_, volume 952 of _Lecture Notes in Computer Science_, pages 77–101. Springer-Verlag, 1995. #ToDMP05 *Dietl et al. (CASSIS 2004)* <br> Werner Dietl, Peter Müller, and Arnd Poetzsch-Heffter. [[http://dx.doi.org/10.1007/b105030][A type system for checking applet isolation in Java Card]]. In Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, and Traian Muntean, editors, _Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10–14, 2004, Revised Selected Papers_, volume 3362 of _Lecture Notes in Computer Science_, pages 129–150. Springer-Verlag, 2005. #ToDHM95 *Dussart et al. (SAS 1995)* <br> Dirk Dussart, Fritz Henglein, and Christian Mossin. [[http://dx.doi.org/10.1007/3-540-60360-3_36][Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynomial time]]. In Alan Mycroft, editor, _Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 27, 1995, Proceedings_, volume 983 of _Lecture Notes in Computer Science_, pages 118–135. Springer-Verlag, 1995. #ToF99 *Filinksi (PPDP 1999)* <br> Andrzej Filinski. [[http://dx.doi.org/10.1007/10704567_23][A semantic account of type-directed partial evaluation]]. In Gopalan Nadathur, editor, _Principles and Practice of Declarative Programming, International Conference, PPDP'99, Paris, France, September 29–October 1, 1999, Proceedings_, volume 1702 of _Lecture Notes in Computer Science_, pages 378–385. Springer-Verlag, 1999. #ToGPG05 *Glew et al. (SAS 2005)* <br> Neal Glew, Jens Palsberg, and Christian Grothoff. [[http://dx.doi.org/10.1007/11547662_11][Type-safe optimisation of plugin architectures]]. In Chris Hankin and Igor Siveroni, editors, _Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7–9, 2005, Proceedings_, volume 3672 of _Lecture Notes in Computer Science_, pages 135–154. Springer-Verlag, 2005. #ToGPV01 *Grothoff et al. (OOPSLA 2001)* <br> Christian Grothoff, Jens Palsberg, and Jan Vitek. [[http://dx.doi.org/10.1145/504282.504300][Encapsulating objects with confined types]]. In _Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2001, October 14–18, 2001, Tampa, Florida, USA_, pages 241–253. ACM Press, 2001. #ToGG99 *Gustavsson and Sands (ENTCS 26)* <br> Jörgen Gustavsson and David Sands. [[http://dx.doi.org/10.1016/S1571-0661(05)80284-1][A foundation for space-safe transformations of call-by-need programs]]. _Electronic Notes in Theoretical Computer Science_, 26:69–86, 1999. #ToHH08a *Hage and Holdermans (PEPM 2008)* <br> Jurriaan Hage and Stefan Holdermans. [[http://dx.doi.org/10.1145/1328408.1328436][Heap recycling for lazy languages]]. In John Hatcliff, Robert Glück, and Oege de Moor, editors, _Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'08, San Francisco, California, USA, January 7–8, 2008_, pages 189–197. ACM Press, 2008. #ToHHM07 *Hage et al. (ICFP 2007)* <br> Jurriaan Hage, Stefan Holdermans, and Arie Middelkoop. [[http://dx.doi.org/10.1145/1291151.1291189][A generic usage analysis with subeffect qualifiers]]. In Ralf Hinze and Norman Ramsey, editors, _Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1–3, 2007_, pages 235–246. ACM Press, 2007. #ToHN05 *Harren and Necula (SAS 2005)* <br> Matthew Harren and George C. Necula. [[http://dx.doi.org/10.1007/11547662_12][Using dependent types to certify the safety of assembly code]]. In Chris Hankin and Igor Siveroni, editors, _Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7–9, 2005, Proceedings_, volume 3672 of _Lecture Notes in Computer Science_, pages 155–170. Springer-Verlag, 2005. #ToHH00 *Heldal and Hughes (Theor. Comput. Sci. 2000)* <br> Rogardt Heldal and John Hughes. [[http://dx.doi.org/10.1016/S0304-3975(00)00050-5][Extending a partial evaluator which supports separate compilation]]. _Theoretical Computer Science_, 248(1–2):99–145, 2000. #ToHH01 *Heldal and Hughes (PSI 2001)* <br> Rogardt Heldal and John Hughes. [[http://dx.doi.org/10.1007/3-540-45575-2_19][Binding-time analysis for polymorphic types]]. In Dines Bjørner, Manfred Broy, and Alexandre V. Zamulin, editors, _Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001, Revised Papers_, volume 2244 of _Lecture Notes in Computing Science_, pages 188–205. Springer-Verlag, 2001. #ToJ02 *Jensen (NDJ 2002)* <br> Thomas Jensen. [[http://dx.doi.org/10.1007/3-540-36377-7_10][Types in program analysis]]. In Torben Æ. Mogensen, David A. Schmidt, and Ivan Hal Sudborough, editors, _The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]_, volume 2566 of _Lecture Notes in Computer Science_, pages 204–222. Springer-Verlag, 2002. #ToJ92 *Jones (ESOP 1992)* <br> Mark P. Jones. [[http://dx.doi.org/10.1007/3-540-55253-7_17][A theory of qualified types]]. In Bernd Krieg-Brückner, editor, _ESOP ’92, 4th European Symposium on Programming, Rennes, France, February 26–28, 1992, Proceedings_, volume 582 of _Lecture Notes in Computer Science_, pages 287–306. Springer-Verlag, 1992. #ToJ95 *Jones (LSC 1995)* <br> Mark P. Jones. [[http://dx.doi.org/10.1007/BF01019005][Dictionary-free overloading by partial evaluation]]. _Lisp and Symbolic Computation_, 8(3):229–248, 1995. #ToN97 *Necula (POPL 1997)* <br> George C. Necula. [[http://dx.doi.org/10.1145/263699.263712][Proof-carrying code]]. In _Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15–17 January 1997_, pages 106–119. ACM Press, 1997. #ToNN99 *Nielson and Nielson (HL 1999)* <br> Flemming Nielson and Hanne Riis Nielson. [[http://dx.doi.org/10.1007/3-540-48092-7_6][Type and effect systems]]. In Ernst-Rüdiger Olderog and Bernhard Steffen, editors, _Correct System Design, Recent Insights and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)_, volume 1710 of _Lecture Notes in Computer Science_, pages 114–136. Springer-Verlag, 1999. #ToNNH99 *Nielson et al. (NNH)* <br> Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. _[[http://www.springer.com/computer/foundations/book/978-3-540-65410-0][Principles of Program Analysis]]_. Springer-Verlag, Berlin, 1999. #ToP01 *Palsberg (PASTE 2001)* <br> Jens Palsberg. [[http://dx.doi.org/10.1145/379605.379635][Type-based analysis and applications]]. In _Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'01, Snowbird, Utah, USA, June 18–19, 2001_, pages 20–27. ACM Press, 2001. #ToSNN94 *Solberg Gasser et al. (SAS 1994)* <br> Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, and Flemming Nielson. [[http://dx.doi.org/10.1007/3-540-58485-4_55][Strictness and totality analysis]]. In Baudouin Le Charlier, editor, _Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28–30, 1994, Proceedings_, volume 864 of _Lecture Notes in Computer Science_, pages 408–422. Springer-Verlag, 1994. #ToTT94 *Tofte and Talpin (POPL 1994)* <br> Mads Tofte and Jean-Pierre Talpin. [[http://dx.doi.org/10.1145/174675.177855][Implementation of the typed call-by-value λ-calculus using a stack of regions]]. In _Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, January 17–21, 1994_, pages 188–201. ACM Press, 1994. #ToTWM95 *Turner et al. (FPCA 1995)* <br> David N. Turner, Philip Wadler, and Christian Mossin. [[http://doi.acm.org/10.1145/224164.224168][Once upon a type]]. In _Conference Record of FPCA '95 SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture. La Jolla, CA, USA, 25–28 June 1995_, pages 1–11. ACM Press, 1995. #ToVS97 *Volpano and Smith (TAPSOFT 1997)* <br> Dennis M. Volpano and Geoffrey Smith. [[http://dx.doi.org/10.1007/BFb0030629][A type-based approach to program security]]. In Michel Bidoit and Max Dauchet, editors, _TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14–18, 1997, Proceedings_, volume 1214 of _Lecture Notes in Computer Science_, pages 607–621. Springer-Verlag, 1997. #ToVPA07 *De Vries et al. (IFL 2006)* <br> Edsko de Vries, Rinus Plasmeijer, and David Abrahamson. [[http://dx.doi.org/10.1007/978-3-540-74130-5_11][Uniqueness typing redefined]]. In Zoltán Horváth, Viktória Zsók, and Andrew Butterfield, editors, _Implementation and Application of Functional Languages, 18th International Workshop, IFL 2006, Budapest, Hungary, September 4–6, 2006, Revised Selected Papers_, volume 4449 of _Lecture Notes in Computer Science_, pages 181–198. Springer-Verlag, 2007. #ToVPA08 *De Vries et al. (IFL 2007)* <br> Edsko de Vries, Rinus Plasmeijer, and David Abrahamson. [[http://dx.doi.org/10.1007/978-3-540-85373-2_12][Uniqueness typing simplified]]. In Olaf Chitil, Zoltán Horváth, and Viktória Zsók, editors, _Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Freiburg, Germany, September 2007, Revised Selected Papers_, volume 5083 of _Lecture Notes in Computer Science_, pages 201–218. Springer-Verlag, 2008. #ToWP99 *Wansbrough and Peyton Jones (POPL 1999)* <br> Keith Wansbrough and Simon Peyton Jones. [[http://doi.acm.org/10.1145/292540.292545][Once upon a polymorphic type]]. In _POPL '99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 20–22, 1999, San Antonio, TX_, pages 15–28. ACM Press, 1999.
