On the Relative Expressiveness of Higher-Order Session Processes Dimitrios Kouzapas1 , Jorge A. P´erez2 , and Nobuko Yoshida3 1 2

Source URL: mrg.doc.ic.ac.uk

0 Multiparty Asynchronous Session Types KOHEI HONDA, Queen Mary University of London NOBUKO YOSHIDA, Imperial College London MARCO CARBONE, IT University of Copenhagen

Source URL: mrg.doc.ic.ac.uk

From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD) Simon Gay, University of Glasgow Philip Wadler, University of Edinburgh Nobuko Yoshida, Imperial College

Source URL: groups.inf.ed.ac.uk

Lightweight Session Programming in Scala∗ Alceste Scalas and Nobuko Yoshida Imperial College London, UK — {a.scalas , n.yoshida} @ imperial.ac.uk

Source URL: mrg.doc.ic.ac.uk

Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i

Source URL: mrg.doc.ic.ac.uk

• Software engineering
• Computability theory
• Object-oriented programming
• Polymorphism
• Subtyping
• Type theory
• Theoretical computer science
• Characteristic function
• Lambda calculus
• Computing

Hybrid Session Verification through Endpoint API Generation Raymond Hu and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new hybrid session verification methodology for applying session types di

Source URL: mrg.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Adder
• Binary logic
• Computer arithmetic
• Objective-C
• Application programming interface
• Go

Understanding Communication and Concurrency through Types Kohei Honda (Queen Mary, University of London) Nobuko Yoshida (Imperial College London) April 18, 2012

Source URL: events.inf.ed.ac.uk

• Software
• Computing
• Cross-platform software
• Cyberinfrastructure
• Oceanography
• Physical oceanography
• E-Science
• Go
• Concurrency
• Concurrent computing
• Communication
• Ocean Observatories Initiative

Hybrid Session Verification through Endpoint API Generation Raymond Hu and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new hybrid session verification methodology for applying session types di

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computer programming
• Computing
• GNUstep
• NeXT
• Objective-C
• Application programming interface
• Transmission Control Protocol
• Go

Pabble: Parameterised Scribble for Parallel Programming Nicholas Ng Nobuko Yoshida

Source URL: groups.inf.ed.ac.uk

• Software engineering
• Software
• Computing
• Concurrent programming languages
• Procedural programming languages
• Cross-platform software
• Go
• Communications protocol

Imperial College London Activity Report Nobuko Yoshida Imperial College London http://mrg.doc.ic.ac.uk

Source URL: groups.inf.ed.ac.uk

• European Association for Theoretical Computer Science
• Theoretical computer science
• Honda P series
• Engineering and Physical Sciences Research Council
• Science and technology
• Computer science
• Science