A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

First Page		Document Content
Date: 2001-06-27 15:19:02 Software engineering Programming language theory Computer programming Type theory Procedural programming languages Functional languages Logic in computer science Programming language semantics Standard ML Denotational semantics Monad Type system		A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Download Document from Source Website File Size: 420,00 KB Share Document on Facebook

	The Semantics of a Simple Language for Parallel Programming Gilles KAHN IRIA-Laboria, Domaine de Voluceau, 78150 Rocquencourt, France and Commissariat à l’Energie Atomique, France DocID: 1xTiz - View Document
	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy DocID: 1udAJ - View Document
	Interaction Semantics and Programming Language Compilation Ulrich Schöpp LMU Munich Introduction DocID: 1tsHx - View Document
	Semantics: The goal of semantics is to define the meaning of a programming language. Prose is a bad way to do this; it is imprecise, subjective, impossible to analyze. Semantics is a collection of techniques which define DocID: 1trQb - View Document
	Call-by-Value in a Basic Logic for Interaction Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Abstract. In game semantics and related approaches to programming language semantics, programs are modelled by int DocID: 1sZ7b - View Document