The following pages link to Sergio Maffeis (Q1650956):
Displaying 16 items.
- Abstract domains for type juggling (Q1650957) (← links)
- On the computational strength of pure ambient calculi (Q1763730) (← links)
- On abstract interpretation of mobile ambients (Q1887169) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- Modelling dynamic web data (Q2566029) (← links)
- On the Expressive Power of Polyadic Synchronisation in π-calculus (Q2842599) (← links)
- (Q2847404) (← links)
- (Q2851089) (← links)
- Matching Systems for Concurrent Calculi (Q2864374) (← links)
- Towards a program logic for JavaScript (Q2942855) (← links)
- (Q3396622) (← links)
- (Q4457838) (← links)
- (Q4673431) (← links)
- (Q4778709) (← links)
- Programming Languages and Systems (Q5316561) (← links)
- A trusted mechanised JavaScript specification (Q5408408) (← links)
