Designing new languages or new language manipulation systems using ML

Authors:
P. Jouvelot
Affiliations:
Université Paris VI, 4, Place Jussieu, Paris 75005 FRANCE
Venue:
ACM SIGPLAN Notices
Year:
1986

Citing 5
Cited 0

Parallelization by semantic detection of reductions

Proc. of the European symposium on programming on ESOP 86
Structure and interpretation of computer programs

Structure and interpretation of computer programs
The Denotational Description of Programming Languages: An Introduction

The Denotational Description of Programming Languages: An Introduction
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Computational Aspects of VLSI

Computational Aspects of VLSI

Quantified Score

Hi-index	0.00

Visualization

Abstract

The ML language and the denotational theory of programming languages fit together to yield a powerful tool in (new) language design. To effectively support this claim, we give a running definition of a simple Pascal-like programming language with a new and non-standard programming construct. All the provided exemples have been tested on a Unix-4.2BSD implementation of ML.