MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Syntactic Control of Interference Revisited." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Nationality: Japanese Positions:  
  • by First Name Makoto — 1991
  • … Science, vol. 228, pp. 49–76, 1999. 7. Syntactic Control of Interference Revisited (with P. W. O’Hearn, A…
  • Add To MetaCart
  • Type reconstruction for SCI  
  • by Howard Huang, Uday Reddy — 1996 — Functional Programming, Glasgow 1995, Electronic Workshops in Computing
  • … system in \Syntactic Control of Interference Revisited" (SCIR). Their proposal uses modern prooftheoretic…
  • Cited by 3 (3 self) – Add To MetaCart
  • Bireflectivity  
  • by P. J. Freyd, P. W. O'hearn, A. J. Power, M. Takeyama, R. D. Tennent — 1996
  • … to Syntactic Control of Interference Revisited [14] in this volume. In this paper, we introduce a general…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB