本発表では高信頼なネットワークアプリケーションのための型付き関数型言語の通信ライブラリとそのライブラリを用いた通信アプリケーションの記述手法を示す．本ライブラリでは，通信プログラムの構造を関数型や直積型，直和型といった基本的な関数型言語の構成要素を用いて記述する．このプログラムは，補助関数により pi 計算の意味論に基づき動作する．プログラムの型は通信プロトコルを表現するセッション型に一対一で対応する．セッション型は pi 計算において通信路の仕様を表現できる型システムとして研究されてきた．これにより通信仕様に整合することを容易に検証できる．本手法はHaskell，ML等の一般的な型システムを持つ型付き関数型言語全般に有効である．本手法の有効性を示すため，SMTPプロトコルを利用するアプリケーションの構築例を示す．We propose a library for highly reliable network programming in typed functional programming languages. With this library programmers describe the structure of network programs with basic types like product, sum, and functional type. This program behaves as pi-calculus processes by an auxiliary function. The type of programs has one-to-one correspondence with session types in pi-calculus. The session types describes specification of channels, and has been developed extensively in literature. This methodology can be developed for ordinary functional languages like Haskell and ML. We illustrate the usefulness and benefits of our library with an example of SMTP application built on it.