A Sharing Analysis for SAFE

  1. Pena, Ricardo
  2. Segura, Clara
  3. Montenegro, Manuel
Liburu bilduma:
TRENDS IN FUNCTIONAL PROGRAMMING, VOL 7
  1. Nilsson, H (coord.)

ISSN: 1743-4505

ISBN: 978-1-84150-993-8 978-1-84150-188-8

Argitalpen urtea: 2007

Alea: 7

Orrialdeak: 109-128

Biltzarra: 7th Symposium on Trends in Functional Programming (TFP)

Mota: Biltzar ekarpena