Contents of Report

[Data of Report]

Report Number:

TM0408

Date of Registration:

1987.11

English Title:

On an Axiomatic Semantics for GHC Programs

Japanese Title:

GHCプログラムの公理的意味論について

English Author:

M.Murakami

Japanese:

村上　昌己

Name of Organization to which author belongs:

ICOT

PDF:

tm0408.pdf

[Contents]

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda