Login

books_chapters

Certifying Data in Multiparty Session Types

Book Chapter

Published in 25/03/2016

Authors

Bernardo Toninho, Nobuko Yoshida, Sam Lindley, Conor McBride, Phil Trinder, Don Sannella,

Jitter Search: A News-Based Real-Time Twitter Search Interface

Book Chapter

Published in 01/03/2016

Authors

Flávio Martins, Marie-Francine Moens, João Magalhães, Nicola Ferro, Jamie Callan, Fabio Crestani, Fabrizio Silvestri, Maria Giorgio Di Nunzio, Maria Giorgio Di Nunzio, Claudia Hauff, Gianmaria Silvello,

Watch out for that tree! A Tutorial on Shortcut Deforestation

Book Chapter

Published in 01/01/2016

Authors

Jácome Cunha, Alberto Pardo,