Showing 1 - 17 results of 17 for search 'Tanter, Éric', query time: 0.13s Refine Results
  1. 1
    Abstracting gradual typing: Metatheory and applications
    by Toro Ipinza, Matías
    Published 2019
    Other Authors: “...Tanter, Éric...”
    Get full text
  2. 2
    Sistema de validación para el desarrollo incremental de un intérprete de R en Coq
    by Díaz Troncoso, Tomás Ignacio
    Published 2019
    Other Authors: “...Tanter, Éric...”
    Get full text
  3. 3
    Desclasificación basada en tipos en DART: Implementación y elaboración de herramientas de inferencia
    Other Authors: “...Tanter, Éric...”
    Get full text
  4. 4
    Middleware para un sistema de gestión de identidad en Telefónica Chile
    Other Authors: “...Tanter, Eric...”
    Get full text
  5. 5
    Línea de productos software tramitación de causas judiciales
    Other Authors: “...Tanter, Éric...”
    Get full text
  6. 6
    Effective aspects: a typed monadic model to control and reason about aspect interference
    by Figueroa Palet, Ismael José
    Published 2014
    Other Authors: “...Tanter, Éric...”
    Get full text
  7. 7
    Gradual typing for generic type-and-effect systems
    Other Authors: “...Tanter, Éric...”
    Get full text
  8. 8
    Modular and secure access control with aspects
    by Toledo Toledo, Rodolfo Andrés
    Published 2014
    Other Authors: “...Tanter, Éric...”
    Get full text
  9. 9
    Opening up trace-based mechanisms -- application to context-aware Ssstems
    by Leger Morales, Paul Saint
    Published 2012
    Other Authors: “...Tanter, Éric...”
    Get full text
  10. 10
    Customizable gradual effects for scala
    by Toro Ipinza, Matías
    Published 2015
    Other Authors: “...Tanter, Éric...”
    Get full text
  11. 11
    Portando AmbientTalk a Dispositivos Móviles Livianos
    Other Authors: “...Tanter, Éric...”
    Get full text
  12. 12
    Control de Reentrancia de Aspectos en AspectJ
    Other Authors: “...Tanter, Éric...”
    Get full text
  13. 13
    Gradual refinement types
    Other Authors: “...Tanter, Éric...”
    Get full text
  14. 14
    Modular composition of session types
    by Soto Ridd, Gustavo Andrés
    Published 2016
    Other Authors: “...Tanter, Éric...”
    Get full text
  15. 15
    Safe and practical decoupling of aspects with join point interfaces
    Other Authors: “...Tanter, Éric...”
    Get full text
  16. 16
    Un Modelo Abierto de Proximidad para el Descubrimiento de Servicios en Computación Pervasiva
    by Ramiro Cid, Víctor Alejandro
    Published 2012
    Other Authors: “...Tanter, Éric...”
    Get full text
    Get full text
  17. 17
    Soporte para el desarrollo incremental en eclipse:|buna implementación robusta de Ghosts
    by Jacas Franzoy, Ricardo Manuel
    Published 2014
    Other Authors: “...Tanter, Éric...”
    Get full text
Search Tools: Get RSS Feed — Email this Search