Alceste - PDFSEARCH.IO - Document Search Engine

Alceste
Results: 15

#	Item
1	Choreography Synthesis as Contract Agreement Julien Lange Alceste Scalas Add to Reading List Source URL: www.cs.unibo.it - Date: 2013-07-01 16:28:46
2	Choreography Synthesis as Contract Agreement Julien Lange Alceste Scalas University of Leicester, UK Add to Reading List Source URL: www.cs.unibo.it - Date: 2013-06-01 06:44:56
3	Lightweight Session Programming in Scala∗ Alceste Scalas1 and Nobuko Yoshida2 1 Imperial College London, UK Add to Reading List Source URL: drops.dagstuhl.de - Date: 2016-07-18 08:05:59
4	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: mrg.doc.ic.ac.uk - Date: 2016-08-22 17:55:56
5	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
6	Towards a theory of honesty Massimo Bartoletti1 , Alceste Scalas1 and Roberto Zunino2 1 Universit` a degli Studi di Cagliari, Italy — {bart , alceste.scalas}@unica.it Add to Reading List Source URL: imm.dtu.dk Language: English - Date: 2014-03-13 12:18:53
7	Towards a theory of honesty Massimo Bartoletti1 , Alceste Scalas1 and Roberto Zunino2 1 Universit` a degli Studi di Cagliari, Italy — {bart , alceste.scalas}@unica.it Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2014-03-13 12:18:53
8	Choreographies in the WildI Massimo Bartolettia , Julien Langeb,∗, Alceste Scalasa , Roberto Zuninoc a Dipartimento di Matematica e Informatica, Universit` a degli Studi di Cagliari, Italy Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-11-19 09:05:23
9	N EW SL E T T E R of The American Handel Society Volume XXV, Number 3 Add to Reading List Source URL: americanhandelsociety.org Language: English - Date: 2011-02-28 19:45:25 George Frideric Handel Arianna in Creta Händel-Gesellschaft Handel Alceste Teseo Donald Burrows Acis and Galatea Messiah Classical music Operas Music
10	N EW SL E T T E R of The American Handel Society Volume XXV, Number 3 Add to Reading List Source URL: www.americanhandelsociety.org Language: English - Date: 2011-02-28 19:45:25 George Frideric Handel Arianna in Creta Händel-Gesellschaft Handel Alceste Teseo Donald Burrows Acis and Galatea Messiah Classical music Operas Music

UPDATE