44 articles – 42 Notices  [english version]
.:. Consultation > Liste par auteurs > Hofmann .:.
1 document
Type inference in intuitionistic linear logic
Baillot P., Hofmann M.
In 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2010) (2010) 219-230 [hal-00543120 - version 1]