TANTER, ERIC PIERRE Autor ID: 3441643 ver autor

Articulos ( 135 en total, se muestran 3 )

●

● A brief tour of join point interfaces, 2013

● A Gradual Interpretation of Union Types, 2017

Afiliaciones ( 5 en total, se muestran 3 )

● Instituto Milenio Fundamentos de los Datos

● PLEIAD Laboratory

● Universidad de Chile

Tangarife, Edwin Autor ID: 4698567 ver autor

Articulos ( 6 en total, se muestran 3 )

● A charge optimized many-body potential for iron/iron-fluoride systems, 2019

● Magnetic properties of small cobalt-copper clusters, 2013

● Molecular simulations of carbon allotropes in processes with creation and destruction of chemical bonds, 2019

Afiliaciones ( 3 en total )

● Pontificia Universidad Católica de Chile

● Universidad de Chile

● Universidad Mayor

Tanter, Éric Autor ID: 4052446 ver autor

Articulos ( 1 en total )

● On the use of type predicates in object-oriented software: The case of smalltalk, 2015

Afiliaciones ( 1 en total )

● Universidad de Chile

Tanter, Éric Autor ID: 4081682 ver autor

Articulos ( 1 en total )

● Compositional reasoning about aspect interference, 2014

Afiliaciones ( 1 en total )

● Universidad de Chile

Tanter, Éric Autor ID: 4097509 ver autor

Articulos ( 1 en total )

● Secure and modular access control with aspects, 2013

Afiliaciones ( 1 en total )

● Universidad de Chile

Tanter, Éric Autor ID: 4102583 ver autor

Articulos ( 1 en total )

● An empirical study of the influence of static type systems on the usability of undocumented software, 2012

Afiliaciones ( 1 en total )

● Universidad de Chile

Tanter, Éric Autor ID: 4160963 ver autor

Articulos ( 1 en total )

● Composition of dynamic analysis aspects, 2011

Afiliaciones ( 1 en total )

● Universidad de Chile

Tanter, Éric Autor ID: 4176009 ver autor

Articulos ( 1 en total )

● Proceedings of the 4th Workshop on Domain-Specific Aspect Languages, DSAL '09, Co-located with the 8th International Conference on Aspect-Oriented Software Development, AOSD.09: Foreword, 2009

Afiliaciones ( 1 en total )

● Universidad de Chile

Tanter, Éric Autor ID: 4178219 ver autor

Articulos ( 1 en total )

● AspectScript: Expressive aspects for the web, 2010

Afiliaciones ( 1 en total )

● Universidad de Chile

Tanter, Éric Autor ID: 4194226 ver autor

Articulos ( 1 en total )

● Supporting composition of structural aspects in an AOP kernel, 2009

Afiliaciones ( 1 en total )

● Universidad de Chile

Tanter, Eric Autor ID: 7933090 ver autor

Articulos ( 1 en total )

● Gradual Liquid Type Inference, 2018

Afiliaciones ( 1 en total )

● Universidad de Chile

Tanter, Eric Autor ID: 8263992 ver autor

Articulos ( 1 en total )

● Gradual Liquid Type Inference, 2018

Afiliaciones ( 1 en total )

● Universidad de Chile

Tanter., Eric Autor ID: 8266755 ver autor

Articulos ( 1 en total )

● All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants, 2025

Afiliaciones ( 1 en total )

● Universidad de Chile

Tanter, Eric Autor ID: 8326021 ver autor

Articulos ( 1 en total )

● Gradual C0: Symbolic Execution for Gradual Verification, 2024

Afiliaciones ( 1 en total )

● Universidad de Chile