@techreport{hirschowitz:hal-02102506,
  TITLE = {{A practical type system for generalized recursion}},
  AUTHOR = {Hirschowitz, Tom and Lenglet, Serguei},
  URL = {https://hal-lara.archives-ouvertes.fr/hal-02102506},
  TYPE = {Research Report},
  PAGES = {2+50p.},
  INSTITUTION = {{Laboratoire de l'informatique du parall{\'e}lisme}},
  YEAR = {2005},
  MONTH = May,
  KEYWORDS = {Modularity ; Programming languages ; Semantics ; Typing ; Langages de programmation, Recursion, S{\'e}mantique, Typage, },
  PDF = {https://hal-lara.archives-ouvertes.fr/hal-02102506/file/RR2005-22.pdf},
  HAL_ID = {hal-02102506},
  HAL_VERSION = {v1},
}