A polymorphic RPC calculus

The RPC calculus is a simple semantic foundation for multi-tier programming languages such as Links in which located functions can be written for the client-server model. Subsequently, the typed RPC calculus is designed to capture the location information of functions by types and to drive location...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Science of computer programming 2020-10, Vol.197, p.102499, Article 102499
Hauptverfasser:	Choi, Kwanghoon, Cheney, James, Fowler, Simon, Lindley, Sam
Format:	Artikel
Sprache:	eng
Schlagworte:	Client-server model Computer Science Computer Science, Software Engineering Location polymorphism Multi-tier programming Remote procedure call Science & Technology Technology
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!