| Global Types with Internal Delegation To the memory of Maurice Nivat | 0 | 0.34 | 2020 |
| Event Structure Semantics for Multiparty Sessions. | 0 | 0.34 | 2019 |
| Reversible sessions with flexible choices | 0 | 0.34 | 2019 |
| A Syntactic Model of Mutation and Aliasing. | 0 | 0.34 | 2019 |
| Flexible recovery of uniqueness and immutability | 0 | 0.34 | 2019 |
| Tracing and Preventing Sharing and Mutation. | 0 | 0.34 | 2019 |
| Flexible recovery of uniqueness and immutability (Extended Version). | 0 | 0.34 | 2018 |
| A type and effect system for uniqueness and immutability. | 1 | 0.35 | 2018 |
| Tracing sharing in an imperative pure calculus. | 0 | 0.34 | 2018 |
| Intersection Types in Java - Back to the Future. | 0 | 0.34 | 2018 |
| Concurrent Reversible Sessions. | 0 | 0.34 | 2017 |
| Tracing sharing in an imperative pure calculus: extended abstract | 2 | 0.37 | 2017 |
| Type safe incremental rebinding. | 0 | 0.34 | 2017 |
| A Provably Correct Compilation Of Functional Languages Into Scripting Languags | 0 | 0.34 | 2017 |
| A type and effect system for sharing. | 3 | 0.39 | 2017 |
| Coupling catch clauses with local declarations. | 0 | 0.34 | 2016 |
| Runtime Checks as Nominal Types. | 0 | 0.34 | 2016 |
| Types for Immutability and Aliasing Control. | 0 | 0.34 | 2016 |
| Reversible Multiparty Sessions With Checkpoints | 3 | 0.38 | 2016 |
| Formal Attributes Traceability in Modular Language Development Frameworks. | 0 | 0.34 | 2016 |
| Incremental Rebinding with Name Polymorphism. | 0 | 0.34 | 2016 |
| A computational modeling language for complex laboratory experiments | 0 | 0.34 | 2015 |
| Interactions between Computer Science and Biology | 0 | 0.34 | 2015 |
| Constrained Polymorphic Types for a Calculus with Name Variables. | 0 | 0.34 | 2015 |
| A Calculus Of Located Entities | 4 | 0.43 | 2014 |
| An Intermediate Language for Compilation to Scripting Languages. | 2 | 0.42 | 2013 |
| Compiling Functional to Scripting Languages. | 1 | 0.37 | 2013 |
| Reconciling Positional And Nominal Binding | 3 | 0.47 | 2013 |
| Type Directed Semantics for the Calculus of Looping Sequences. | 1 | 0.35 | 2013 |
| Typed stochastic semantics for the calculus of looping sequences | 4 | 0.44 | 2012 |
| Standard Type Soundness For Agents And Artifacts | 1 | 0.35 | 2012 |
| Parallel Bioscape: A Stochastic And Parallel Language For Mobile And Spatial Interactions | 5 | 0.48 | 2012 |
| Extending the lambda-calculus with unbind and rebind. | 1 | 0.37 | 2011 |
| A Calculus Of Looping Sequences With Local Rules | 0 | 0.34 | 2011 |
| Annotated stochastic context free grammars for analysis and synthesis of proteins | 2 | 0.36 | 2011 |
| Intersection types for unbind and rebind | 3 | 0.48 | 2010 |
| Featherweight Agent Language A Core Calculus For Agents And Artifacts | 2 | 0.37 | 2009 |
| A Calculus of Agents and Artifacts | 3 | 0.37 | 2009 |
| Intersection, universally quantified, and reference types | 1 | 0.38 | 2009 |
| A Type System For Required/Excluded Elements In Cls | 12 | 0.68 | 2009 |
| The essence of static and dynamic bindings. | 2 | 0.40 | 2009 |
| A Type System For A Stochastic Cls | 9 | 0.57 | 2009 |
| A Calculus Of Evolving Objects | 6 | 0.61 | 2008 |
| Alias Types and Effects for "Environment-aware" Computations | 0 | 0.34 | 2008 |
| A type safe state abstraction for coordination in Java-like languages | 4 | 0.48 | 2008 |
| Safe ambients: abstract machine and distributed implementation | 9 | 0.57 | 2006 |
| On State Classes And Their Dynamic Semantics | 4 | 0.41 | 2006 |
| Type Checking for JavaScript | 15 | 1.60 | 2005 |
| Towards type inference for javascript | 88 | 5.04 | 2005 |
| On Re-classification and Multi-threading | 7 | 0.55 | 2004 |
