MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Interference Revisited." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Main Publications  
  • by Cliff B. Jones, D. Bjrner, W. Henhapl, H. Bekic, H. Bekic, H. Izbicki, H. Barringer, B. T. Denvir, V. A. Downes, C. B. Jones, C. B. Jones, C. B. Jones, R. A. Snowdon, M. K. Tordoff — 2000
  • …, pages 51--69. Springer-Verlag, 1991. [60] C. B. Jones. Interference revisited. In J. E. Nicholls, editor…
  • Add To MetaCart
  • 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 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB