受强制性开放获取政策约束的文章 - Éric Tanter了解详情
可在其他位置公开访问的文章：38 篇
Abstracting gradual typing
R Garcia, AM Clark, É Tanter
ACM SIGPLAN Notices 51 (1), 429-442, 2016
强制性开放获取政策： Natural Sciences and Engineering Research Council of Canada
Dijkstra monads for all
K Maillard, D Ahman, R Atkey, G Martínez, C Hriţcu, E Rivas, É Tanter
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019
强制性开放获取政策： US Department of Defense, European Commission
Unanticipated partial behavioral reflection: Adapting applications at runtime
D Röthlisberger, M Denker, É Tanter
Computer Languages, Systems & Structures 34 (2-3), 46-65, 2008
强制性开放获取政策： Swiss National Science Foundation
Join point interfaces for safe and flexible decoupling of aspects
E Bodden, É Tanter, M Inostroza
ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (1), 1-41, 2014
强制性开放获取政策： German Research Foundation
Gradual parametricity, revisited
M Toro, E Labrada, É Tanter
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
强制性开放获取政策： European Commission
Polymorphic bytecode instrumentation
P Moret, W Binder, É Tanter
Proceedings of the tenth international conference on Aspect-oriented …, 2011
强制性开放获取政策： Swiss National Science Foundation
Mirror‐based reflection in AmbientTalk
S Mostinckx, T Van Cutsem, S Timbermont, E Gonzalez Boix, É Tanter, ...
Software: Practice and Experience 39 (7), 661-699, 2009
强制性开放获取政策： Research Foundation (Flanders)
The marriage of univalence and parametricity
N Tabareau, É Tanter, M Sozeau
Journal of the ACM (JACM) 68 (1), 1-44, 2021
强制性开放获取政策： European Commission
Foundations of dependent interoperability
PÉ Dagand, N Tabareau, É Tanter
Journal of Functional Programming 28, e9, 2018
强制性开放获取政策： European Commission
Parallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor model
C Scholliers, É Tanter, W De Meuter
Science of Computer Programming 80, 52-64, 2014
强制性开放获取政策： Research Foundation (Flanders)
Composition of dynamic analysis aspects
E Tanter, P Moret, W Binder, D Ansaloni
Generative Programming and Component Engineering (GPCE 2010), 113-122, 2010
强制性开放获取政策： Swiss National Science Foundation
Mirages: Behavioral intercession in a mirror-based architecture
S Mostinckx, T Van Cutsem, S Timbermont, E Tanter
Proceedings of the 2007 symposium on Dynamic languages, 89-100, 2007
强制性开放获取政策： Research Foundation (Flanders)
Approximate normalization for gradual dependent types
J Eremondi, É Tanter, R Garcia
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-30, 2019
强制性开放获取政策： Natural Sciences and Engineering Research Council of Canada, European Commission
Trace-relating compiler correctness and secure compilation
C Abate, R Blanco, Ș Ciobâcă, A Durier, D Garg, C Hrițcu, M Patrignani, ...
Programming Languages and Systems: 29th European Symposium on Programming …, 2020
强制性开放获取政策： US Department of Defense, European Commission, Federal Ministry of Education …
Gradual verification of recursive heap data structures
J Wise, J Bader, C Wong, J Aldrich, É Tanter, J Sunshine
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020
强制性开放获取政策： US National Science Foundation
A reasonably exceptional type theory
PM Pédrot, N Tabareau, HJ Fehrmann, É Tanter
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019
强制性开放获取政策： European Commission
An extended account of trace-relating compiler correctness and secure compilation
C Abate, R Blanco, Ş Ciobâcă, A Durier, D Garg, C Hriţcu, M Patrignani, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (4), 1-48, 2021
强制性开放获取政策： US Department of Defense, European Commission, Federal Ministry of Education …
Extensions during software evolution: Do objects meet their promise?
R Robbes, D Röthlisberger, É Tanter
ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012
强制性开放获取政策： Swiss National Science Foundation
Parallel actor monitors
C Scholliers, É Tanter, W De Meuter
14th Brazilian Symposium on Programming Languages, 2010
强制性开放获取政策： Research Foundation (Flanders)
How should context-escaping closures proceed?
D Clarke, P Costanza, É Tanter
Proceedings of the 1st ACM International Workshop on Context-Oriented …, 2009
强制性开放获取政策： Research Foundation (Flanders)
出版信息和资助信息由计算机程序自动确定