Commentary on Standard Ml

Commentary on Standard Ml

아직 평점이 없습니다
1991 · 영어 · 페이퍼백 · 판본 2개
서가에 추가

이 책 평가하기


도서 일지 내보내기

설명

The full mathematical description of the functional programming language ML was given in Milner, Tofte, and Harper's Definition of Standard ML. This companion volume explains in depth the meaning, or semantic theory, of ML.

책 세부 정보

형식 페이퍼백
언어 영어
출판됨 1월 1, 1991
출판사 Mit Pr
ISBN-10 0262631377
ISBN-13 9780262631372
서가에 추가

이 책 평가하기


도서 일지 내보내기