Science of Computer Programming 1991: Vol 17 Table of Contents PDF
2 Pages·1991·0.14 MB·English
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
Preview Science of Computer Programming 1991: Vol 17 Table of Contents
SCIENCE OF COMPUTER PROGRAMMING VOLUME 17, NUMBERS 1-3, DECEMBER 1991 Selected papers of ESOP ‘90, the 3rd European Symposium on Programming CONTENTS N.D. Jones Foreword A. Bondorf Automatic autoprojection of higher order recursive equations M. Felleisen On the expressive power of programming languages R. Heckmann Power domain constructions L. Helmink Resolution and type theory T. Reps Algebraic properties of program integration S. Thatte A type system for implicit scaling Book Reviews Author Index
See more
The list of books you might like
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
