大学情報データベース

研究者 : 横内 寛文 19 件中 1 - 19 件目

表示件数

【論文】

Strictness Analysis Algorithms Based on an Inequality System for Lazy Types
【全著者名】 Hirofumi Yokouchi
【掲載雑誌名】 Lecture Notes in Computer Science
【巻・号・頁】 4989: 225-271
【発表年月】 2008年04月
Completeness of type assignment systems with intersection, union, and type quantifierss
【全著者名】 YOKOUCHI HIROFUMI
【掲載雑誌名】 Theoretical Computer Science
【巻・号・頁】 Vol. 272, No. 1-2, 341-398
【発表年月】 2002年
Syntax and semantics of type assignment systems
【全著者名】 YOKOUCHI HIROFUMI
【掲載雑誌名】 MSJ Memoirs
【巻・号・頁】 Vol. 2, 99-141
【発表年月】 2000年
Completeness of type assignment systems with intersection, union, and type quantifiers
【全著者名】 YOKOUCHI HIROFUMI
【掲載雑誌名】 13th Annual IEEE Symposium on Logic in Computer Science (LICS'98)
【巻・号・頁】 368-379
【発表年月】 1998年
Embedding a second-order type system into an intersection type system
【全著者名】 YOKOUCHI HIROFUMI
【掲載雑誌名】 nformation and Computation
【巻・号・頁】 Vol. 117, No. 2, 206-220
【発表年月】 1995年
コンピュータ基礎理論ハンドブック:II 形式的モデルと意味論
【全著者名】 横内 寛文
【掲載雑誌名】 丸善
【発表年月】 1994年
プログラム意味論
【全著者名】 横内 寛文
【掲載雑誌名】 共立出版
【発表年月】 1994年
F-semantics of type assignment systems
【全著者名】 YOKOUCHI HIROFUMI
【掲載雑誌名】 Theoretical Computer Science
【巻・号・頁】 Vol. 129, No. 1, 39-77
【発表年月】 1994年
A rewriting system for categorical combinators with multiple arguments
【全著者名】 YOKOUCHI HIROFUMI
【掲載雑誌名】 SIAM Journal on Computing
【巻・号・頁】 Vol. 19, No. 1, 78-97
【発表年月】 1990年
続 新しいプログラミング・パラダイム
【全著者名】 横内 寛文
【掲載雑誌名】 共立出版
【発表年月】 1990年
Church-Rosser theorem for rewriting systems on categorical combinators
【全著者名】 YOKOUCHI HIROFUMI
【掲載雑誌名】 Theoretical Computer Science
【巻・号・頁】 Vol. 65, No. 3, 271-290
【発表年月】 1989年
COBにおけるオブジェクト指向機能
【全著者名】 横内 寛文
【掲載雑誌名】 コンピュータソフトウェア
【巻・号・頁】 Vol. 6, No. 1, 4-16
【発表年月】 1989年
関数型言語の基本概念
【全著者名】 横内 寛文
【掲載雑誌名】 情報処理
【巻・号・頁】 Vol. 29, No. 8, 809-816
【発表年月】 1988年
A rewriting system for categorical combinators with multiple arguments
【全著者名】 YOKOUCHI HIROFUMI
【掲載雑誌名】 RIMS Lecture Notes
【巻・号・頁】 Vol. 655, 186-208
【発表年月】 1988年
新しいプログラミング・パラダイム
【全著者名】 横内 寛文
【掲載雑誌名】 共立出版
【発表年月】 1988年
ラムダ計算のカテゴリー論的モデルに基づいた計算体系, コンピュータソフトウェア
【全著者名】 横内 寛文
【掲載雑誌名】 コンピュータソフトウェア
【巻・号・頁】 Vol. 4, No. 4, 45-55
【発表年月】 1987年
Application and composition in functional programming, Journal of Information Processing
【全著者名】 YOKOUCHI HIROFUMI
【掲載雑誌名】 Journal of Information Processing
【巻・号・頁】 Vol. 8, No. 3, 217-221
【発表年月】 1986年
Retraction map categories and their applications to the construction of lambda calculus models
【全著者名】 YOKOUCHI HIROFUMI
【掲載雑誌名】 Information and Control
【巻・号・頁】 Vol. 71, No. 1/2, 33-86
【発表年月】 1986年
General construction of lambda calculus models
【全著者名】 YOKOUCHI HIROFUMI
【掲載雑誌名】 RIMS Lecture Noes
【巻・号・頁】 Vol. 515
【発表年月】 1984年