MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Quasi-Linear Types." – 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
  • Quasi-Linear Types  
  • by Naoki Kobayashi — 1999
  • …Quasi-Linear Types 3 Naoki Kobayashi Department of Information Science, University of Tokyo 7…
  • Cited by 51 (5 self) – Add To MetaCart
  • Numdiff--9  
  • by September September Halle, Ffl Karl Strehmel (halle, Ffl Ben P. Sommeijer (amsterdam, Ffl Alf Gerisch
  • …) for u of quasi--linear type with convection terms, Au t +Bu xx + C[u]u x +Du =f(t; x); t 2 I t := (0…
  • Add To MetaCart
  • Linear types for packet processing  
  • by Robert Ennals, Richard Sharp, Alan Mycroft — 2004 — In Proceedings of the 13th European Symposium on Programming
  • …. In many ways, PacLang’s type system is inspired by Kobayashi’s work on Quasi-Linear Types [12]. We start…
  • Cited by 13 (2 self) – Add To MetaCart
  • Linear Types for Packet Processing  
  • by Robert Ennals Richard, Richard Sharp, Alan Mycroft — 2004 — In Proceedings of the 13th European Symposium on Programming
  • …. In many ways, PacLang’s type system is inspired by Kobayashi’s work on Quasi-Linear Types [12]. We start…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB