LAMP - Laboratoire de méthodes de programmation

Derniers ajouts

• 2017-07-12
  22:11
  K. Clancy and H. Miller. Monotonicity Types for Distributed Dataflow. 2nd Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017.

  Notice détailléeTexte intégral
• 2017-07-11
  15:17
  M. Odersky, A. Biboudis, F. Liu, O. Blanvillain and H. Miller. Simplicitly.

  Notice détailléeTexte intégral
• 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