loading

Logout succeed

Logout succeed. See you again!

search
Advance search
xAdvance search
submenu
search
search
xAdvance search
Students access

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

ebook img

Science of Computer Programming 1991: Vol 17 Table of Contents PDF

pages2 Pages
release year1991
file size0.14 MB
languageEnglish
#periodicals #sim_microfilm #pub_science-of-computer-programming

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.