CINECA IRIS Institutional Research Information System

Session Types = Intersection Types + Union Types

PADOVANI, Luca
2011-01-01
2011
5th Workshop on Intersection Types and Related Systems
Edinburgh, Scotland
10-14 july 2010
45
71
89
http://cgi.cse.unsw.edu.au/~rvg/eptcs/Accepted/ITRS2010/Papers/4/paper/main.pdf
LUCA PADOVANI
04B-Conference paper in rivista
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/82481
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact