Otwarta lista tematów na seminarium Języki programowania - nowe osiągnięcia i trendy, II UWr, 2010:

1. Aspect-Oriented Programming. Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, and John Irwin. ECOOP 2004.


2. Languages of the Future. Tim Sheard. OOPSLA 2004.


3. Static Contract Checking for Haskell. Dana N. Xu, Simon Peyton Jones, and Koen Claessen. POPL 2009.


4. Formal Certification of a Compiler Back-End or: Programming a Compiler with a Proof Assistant. Xavier Leroy. POPL 2006.


5. Separation Logic: A Logic for Shared Mutable Data Structures. John C. Reynolds. LICS 2002.


6. Multi-Return Function Call. Olin Shivers and David Fisher. Journal of Functional Programming, 16(4) pages 547--582, 2006.


7. Eager Normal Form Bisimulation. Soren B. Lassen. LICS 2005.


8. From System F to Typed Assembly Language. Greg Morrisett, David Walker, Karl Crary, Neal Glew. TOPLAS 21(3) pages 527-568, 1999.


9. A Core Calculus for Scala Type Checking. Vincent Cremet, Francois Garillot, Sergue Lenglet, and Martin Odersky. MFCS 2006.


10. Monads in Action. Andrzej Filinski. POPL 2010.


11. Mixin Modules. Dominic Duggan and Constantinos Sourelis. ICFP 1996.


12. Coinductive Big-Step Operational Semantics . Xavier Leroy and Herve Grall. Information and Computation 207(2), pages 284-304, 2009.