MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Yasuhiko Minamide" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • Full Lifting of Type Parameters  
  • by Yasuhiko Minamide — 1997 — in the proceedings of Second Fuji International Workshop on Functional and Logic Programming
  • …Full Lifting of Type Parameters Yasuhiko Minamide y Research Institute for Mathematical…
  • Cited by 9 (0 self) – Add To MetaCart
  • A new criterion for safe program transformations  
  • by Yasuhiko Minamide — 2000 — In Proceedings of the Forth International Workshop on Higher Order Operational Techniques in Semantics (HOOTS), volume 41(3) of ENTCS
  • …A New Criterion for Safe Program Transformations Yasuhiko Minamide Institute of Information…
  • Cited by 4 (2 self) – Add To MetaCart
  • A Functional Representation of Data Structures with a Hole  
  • by Yasuhiko Minamide Research, Yasuhiko Minamide — 1998 — In Conference Record of the 25th Symposium on Principles of Programming Languages (POPL '98
  • …A Functional Representation of Data Structures with a Hole Yasuhiko Minamide Research Institute…
  • Add To MetaCart
  • Typed closure conversion  
  • by Yasuhiko Minamide, Greg Morrisett, Robert Harper — 1996 — In Proceedings of the 23th Symposium on Principles of Programming Languages (POPL
  • …Typed Closure Conversion Yasuhiko Minamide 1 Greg Morrisett July 1995 CMU{CS{95{171 Robert Harper…
  • Cited by 142 (24 self) – Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB