CINECA IRIS Institutional Research Information System

Types for Deadlock-Free Higher-Order Programs

PADOVANI, Luca;
2015-01-01
2015
IFIP International Conference on Formal Methods and Techniques
Grenoble, France
2-5 June 2015
Proceedings of the IFIP International Conference on Formal Methods and Techniques (FORTE'15)
Springer
9039
3
18
http://www.di.unito.it/~padovani/Papers/forte_2015.pdf
Padovani, Luca; Novara, Luca
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
forte_2015.pdf

Open Access dal 02/06/2016

Tipo di file: PREPRINT (PRIMA BOZZA)
Dimensione 264.24 kB
Formato Adobe PDF
Visualizza/Apri
264.24 kB Adobe PDF Visualizza/Apri
2015 - FORTE - Padovani Novara - Types for Deadlock-Free Higher-Order Programs.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 273.75 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
273.75 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1528099
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 5
social impact