LAMP - Laboratoire de méthodes de programmation

Type de document

• Conference Papers (114)
• Reports (91)
• Journal Articles (29)
• Student Projects (25)
• Theses (21)
• Working Papers (4)
• Talks (3)
• Posters (2)
• Book Chapters (1)
• Conference Proceedings (1)

Montrer plus

Laboratoire

• LAMP (291)
• DATA (4)
• LSR (2)
• DCL (1)
• LARA (1)
• LBS (1)

Année de publication

• 2024 (2)
• 2023 (4)
• 2022 (6)
• 2021 (6)
• 2020 (11)
• 2019 (5)
• 2018 (9)
• 2017 (14)
• 2016 (19)
• 2015 (23)
• 2014 (34)
• 2013 (18)
• 2012 (18)
• 2011 (11)
• 2010 (14)
• 2009 (11)
• 2008 (6)
• 2007 (10)
• 2006 (14)
• 2005 (7)
• 2004 (8)
• 2003 (9)
• 2002 (8)
• 2001 (9)
• 2000 (6)
• 1999 (4)
• 1998 (2)
• 1997 (3)

Montrer plus

Journal

• Acm Sigplan Notices (15)
• Proceedings Of The Acm On Programming Languages-Pacmpl (5)
• Theoretical Computer Science (4)
• Communications Of The Acm (2)
• CONCUR 2003 - Concurrency Theory (2)
• ECOOP 2012 – Object-Oriented Programming (2)
• Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (2)
• Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (2)
• Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (2)
• Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems (2)
• Proceedings of the 9th ACM SIGPLAN International Symposium on Scala (2)
• Proceedings of the International Workshop on Unanticipated Software Evolution (2)
• 32nd European Conference on Object-Oriented Programming (ECOOP 2018) (1)
• A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday (1)
• Acm Transactions On Embedded Computing Systems (1)
• Acm Transactions On Intelligent Systems And Technology (1)
• Acm Transactions On Programming Languages And Systems (1)
• Acta Informatica (1)
• Advances in Computing Science - ASIAN 2003 (1)
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (1)
• Colloque d'Informatique at EPFL (1)
• Compiler Construction (1)
• Computational Intelligence (1)
• Concurrency And Computation-Practice & Experience (1)
• Coordination Models and Languages. COORDINATION 2007 (1)
• Coordination Models and Languages. COORDINATION 2008 (1)
• Coordination Models And Languages, Proceedings (1)
• Domain-Specific Program Generation (1)
• ECOOP 2002 — Object-Oriented Programming (1)
• ECOOP 2010 – Object-Oriented Programming (1)
• FMOODS 2002: Formal Methods for Open Object-Based Distributed Systems V (1)
• Formal Methods and Software Engineering -- 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings (1)
• FTfJP '13: Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs (1)
• Graph Transformation, 7th International Conference, ICGT 2014. Proceedings (1)
• Handbuch der Informatik (1)
• Higher Order and Symbolic Computation (1)
• Ieee Micro (1)
• Journal of Functional Programming (1)
• Journal of Information & Computation (1)
• Languages And Compilers For Parallel Computing, Lcpc 2013 (1)
• LCPC 2012: Languages and Compilers for Parallel Computing (1)
• Mathematical Foundations of Computer Science 2006. MFCS 2006 (1)
• Modular Programming Languages (1)
• Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (1)
• Onward!'16: Proceedings Of The 2016 Acm International Symposium On New Ideas, New Paradigms, And Reflections On Programming And Software (1)
• OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (1)
• PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation (1)
• POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1)
• PPPJ '15: Proceedings of the Principles and Practices of Programming on The Java Platform (1)
• Proc. International Conference on Functional Programming (1)
• Proc. MERLIN'01 (1)
• Proc. of ECOOP 2006 (1)
• Proc. OOPSLA 1998 (1)
• Proceedings FOOL8, Workshop on Foundations of Object-Oriented Languages (1)
• Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2003) (1)
• Proceedings of POPL 2001 (1)
• Proceedings of the 12th ACM SIGPLAN International Symposium on Scala (1)
• Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (1)
• Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (1)
• Proceedings Of The 18Th Acm Sigplan International Conference On Managed Programming Languages And Runtimes (Mplr '2021) (1)
• Proceedings of the 1st Workshop on Domain-Specific Program Development (1)
• Proceedings of the 2010 ACM Symposium on Applied Computing (1)
• Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14 (1)
• Proceedings of the 2014 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages and Applications (1)
• Proceedings of the 21st Working Conference on the Psychology of Programmers Interest Group (1)
• Proceedings of the 2nd Workshop on Programming Models and Languages for Distributed Computing (1)
• Proceedings of the 4th Workshop on Scala (1)
• Proceedings of the 4th Workshop on Scala - SCALA '13 (1)
• Proceedings of the 6th ACM SIGPLAN Symposium on Scala - SCALA 2015 (1)
• Proceedings Of The 9Th Acm Sigplan International Symposium On Scala (Scala '18) (1)
• Proceedings of the ACM international conference on Object oriented programming systems languages and applications (1)
• Proceedings of the ACM SIGPLAN 2013 Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA'13) (1)
• Proceedings of the ACM SIGPLAN 2013 Conference on Object Oriented Programming, Systems, Languages and Applications(OOPSLA'13) (1)
• Proceedings of the ECOOP 2001 Workshop on Multiparadigm Programming with Object-Oriented Languages (1)
• Proceedings of the Fifth Annual Scala Workshop (1)
• Proceedings of the Fifth Anuual Scala Workshop on - SCALA '14 (1)
• Proceedings of the First Workshop on Multi-Language Infrastructure and Interoperability (1)
• Proceedings of the International Conference on Functional Programming (1)
• Proceedings of the Scala Symposium 2016 (1)
• Proceedings of the VLDB Endowment (1)
• Programming Languages and Systems. ESOP 2000 (1)
• Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings (1)
• Runtime Verification (1)
• SCALA '13 Proceedings of the 4th Workshop on Scala (1)
• SCALA '14: Proceedings of the Fifth Annual Scala Workshop (1)
• SCALA 2016 Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala (1)
• Scala 2018: Proceedings of the 9th ACM SIGPLAN International Symposium on Scala (1)
• SCALA 2020: Proceedings of the 11th ACM SIGPLAN International Symposium on Scala (1)
• Scala'16: Proceedings Of The 2016 7th ACM SIGPLAN Symposium On Scala (1)
• Scala'19: Proceedings Of The 10Th Acm Sigplan International Symposium On Scala (1)
• Second ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2007) (1)
• Theory and Practice of Object Systems (1)
• Trustworthy Global Computing. TGC 2005 (1)

Montrer plus