Back to Results
First PageMeta Content
Programming language theory / Curry–Howard correspondence / System F / Lambda calculus / Connection / Polymorphism / Generic programming / Type system / Type theory / Software engineering / Theoretical computer science


Behavioral Polymorphism and Parametricity in Session-Based Communication Lu´ıs Caires1 , Jorge A. P´erez1 , Frank Pfenning2 , and Bernardo Toninho1,2 1 CITI and Departamento de Inform´atica, FCT, Universidade Nova d
Add to Reading List

Document Date: 2013-02-20 17:52:24

Open Document

File Size: 422,21 KB

Share Result on Facebook

Currency

pence / /

IndustryTerm

communication interfaces/protocols / software engineering / software artifacts / intricate communication protocols / service-oriented computing / web applications / cloud server / cloud-based application server / distributed protocols / coordination protocols / software applications / execute/buy/download available applications / Online application stores / server infrastructure / abstract communication protocols / map services / distributed computing / distributed software systems / communication protocols / conversion service into our application server / actual applications / representation protocols / generic cloud-based server / session protocol / interfaces/protocols / persistent server / /

Organization

Carnegie Mellon University / Computer Science Department / /

Person

Nova de Lisboa / Frank Pfenning / Conv / Bernardo Toninho / /

Position

administrator / /

ProvinceOrState

Pennsylvania / /

Technology

session protocol / intricate communication protocols / OCR / underlying coordination protocols / arbitrary communication protocols / representation protocols / api / abstract communication protocols / simulation / communication protocols / communication interfaces/protocols / PDF / /

SocialTag