Sciweavers

7681 search results - page 74 / 1537
» Typed Membrane Systems
Sort
View
TCS
2008
14 years 9 months ago
A type assignment system for game semantics
Pietro Di Gianantonio, Furio Honsell, Marina Lenis...
JOT
2007
65views more  JOT 2007»
14 years 9 months ago
A Formal Type System for Java
Mourad Debbabi, M. Fourati