LAMP - Laboratoire de méthodes de programmation

Derniers ajouts

• 2017-06-18
  23:17
  M. Odersky, A. Biboudis, F. Liu and O. Blanvillain. Foundations of Implicit Function Types, 2017.

  Notice détailléeTexte intégral
• 2017-05-30
  16:01
  D. Petrashko, O. Lhoták and M. Odersky. Miniphases: Compilation using Modular and Efficient Tree Transformations. PLDI, Barcelona, Spain, Sun 18 - Fri 23 June 2017.

  Notice détailléeTexte intégral
• 2017-03-31
  17:27
  N. Amin, R. Leino and T. Rompf. Computing with an SMT Solver.

  Notice détaillée
• 2017-03-31
  17:19
  N. Amin and T. Rompf. LMS-Verify: Abstraction without Regret for Verified Systems Programming’. POPL 2017, Paris, France, January 15 - 21, 2017.

  Notice détailléeTexte intégral
• 2017-03-31
  17:16
  N. Amin and T. Rompf. Type Soundness Proofs with Definitional Interpreters. POPL 2017, Paris, France, January 15 - 21, 2017.

  Notice détailléeTexte intégral
• 2017-03-31
  17:13
  T. Rompf and N. Amin. Type Soundness for Dependent Object Types’. OOPSLA 2016, Amsterdam, Netherlands, November 02 - 04, 2016.

  Notice détailléeTexte intégral
• 2017-03-31
  17:10
  N. Amin and R. Tate. Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers. OOPSLA 2016, Amsterdam, Netherlands, November 02 - 04, 2016.

  Notice détailléeTexte intégral
• 2017-03-31
  17:07
  T. Rompf and N. Amin. Functional Pearl: A SQL to C Compiler in 500 Lines of Code’. ICFP 2015, Vancouver, BC, Canada, August 31 - September 02, 2015.

  Notice détailléeTexte intégral
• 2017-03-27
  18:06
  N. Amin and R. Tate. Java and Scala's Type Systems are Unsound The Existential Crisis of Null Pointers. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Amsterdam, NETHERLANDS, NOV 02-04, 2016.

  Notice détailléeTexte intégral
• 2017-03-27
  18:06
  T. Rompf and N. Amin. Type Soundness for Dependent Object Types (DOT). ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Amsterdam, NETHERLANDS, NOV 02-04, 2016.

  Notice détailléeTexte intégral