Concurrency, Graphs and Models - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

53
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540686767, 9783540686798
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Session and Union Types for Object Oriented Programming

2008 ◽  
pp. 659-680 ◽  
Author(s):  
Lorenzo Bettini ◽  
Sara Capecchi ◽  
Mariangiola Dezani-Ciancaglini ◽  
Elena Giachino ◽  
Betti Venneri
Keyword(s):  
Object Oriented ◽  
Object Oriented Programming

scholarly journals An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

2008 ◽  
pp. 209-237 ◽  
Author(s):  
Manuel V. Hermenegildo ◽  
Francisco Bueno ◽  
Manuel Carro ◽  
Pedro López ◽  
José F. Morales ◽  
...  
Keyword(s):  
Program Development ◽  
Development Environment ◽  
Design Philosophy

Ugo Montanari in a Nutshell

2008 ◽  
pp. 1-8 ◽  
Author(s):  
Rocco De Nicola ◽  
Pierpaolo Degano ◽  
José Meseguer
Load More ...
Sign in / Sign up

Export Citation Format

Share Document