Nobuko - PDFSEARCH.IO - Document Search Engine

Nobuko
Results: 52

#	Item
21	Lightweight Session Programming in Scala∗ Alceste Scalas and Nobuko Yoshida Imperial College London, UK — {a.scalas , n.yoshida} @ imperial.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-05-09 14:09:08 Type theory Concurrent programming languages Object-oriented programming Polymorphism Data types Scala Covariance and contravariance Go Type system Type inference Subtyping Form
22	Barbara Buntrock, Viola Barbara Buntrock is an extraordinary young artist who has performed as soloist and in chamber music and with orchestras both at home in Germany and internationally. In 2008 the jury of the Von der Add to Reading List Source URL: www.barbarabuntrock.com Language: English - Date: 2012-08-08 09:12:30 Kim Kashkashian Bruno Giuranna Antonio Mariani Nobuko Imai Viola Tabea Zimmermann
23	Synchronous Multiparty Session Types Andi Bejleri Nobuko Yoshida Imperial College London Aim of this work Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Subroutines C++ Data types Procedural programming languages C++ classes Const ALGOL 68 Recursion Channel Parameter
24	The SJ Framework for Transport-Independent, Type-Safe, Object-Oriented Communications Programming Raymond Hu Nobuko Yoshida Add to Reading List Source URL: andibejleri.net Language: English - Date: 2014-07-09 06:44:09
25	Multiparty Session Nets Luca Fossati1 , Raymond Hu2 , and Nobuko Yoshida2 1 University of Cambridge, Cambridge, UK Imperial College London, London, UK Add to Reading List Source URL: www.cs.le.ac.uk Language: English - Date: 2014-07-28 09:33:11
26	Parameterised Multiparty Session Types ? Pierre-Malo Deni´elou, Nobuko Yoshida, Andi Bejleri, and Raymond Hu Department of Computing, Imperial College London Abstract. For many application-level distributed protocols an Add to Reading List Source URL: andibejleri.net Language: English - Date: 2014-07-09 06:44:02
27	ABCD@ London, 20 AprilTimed Multiparty Session Types Laura Bocchi, Weizhen Yang, Nobuko Yoshida CONCUR 2014 Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-02-15 15:33:44
28	Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion? Søren Debois1 , Thomas Hildebrandt1 , Tijs Slaats1,2 , and Nobuko Yoshida3 1 Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2014-04-04 13:04:14
29	Imperial College London Activity Report Nobuko Yoshida Imperial College London http://mrg.doc.ic.ac.uk Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-02-15 15:33:44
30	Timed Multiparty Session Types ? Laura Bocchi, Weizhen Yang, and Nobuko Yoshida Imperial College London Abstract. We propose a typing theory, based on multiparty session types, for modular verification of real-time chore Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-05-06 04:45:18

UPDATE