Type Systems for Computer Algebra

by: A Weber

(1993)

View FullText article

CiteSeer (at Penn State), CiteSeer (at MIT), CiteSeer (at Zurich), CiteSeer (at Singapore)

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

huitseeker

Find related articles with these CiteULike tags

algebra, classes, type

Abstract

I Zusammenfassung III 1 Introduction 1 2 Prelude 7 2.1 Terminology : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 7 2.1.1 Abstract Data Types : : : : : : : : : : : : : : : : : : : : : : : : 7 2.1.2 Polymorphism : : : : : : : : : : : : : : : : : : : : : : : : : : : 8 2.1.3 Coercions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 10 2.2 General Notation : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 11 2.3 Partial Orders and Quasi-Lattices : : : : : : : : ...

@misc{citeulike:3037866, abstract = {I Zusammenfassung III 1 Introduction 1 2 Prelude 7 2.1 Terminology : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 7 2.1.1 Abstract Data Types : : : : : : : : : : : : : : : : : : : : : : : : 7 2.1.2 Polymorphism : : : : : : : : : : : : : : : : : : : : : : : : : : : 8 2.1.3 Coercions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 10 2.2 General Notation : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 11 2.3 Partial Orders and Quasi-Lattices : : : : : : : : ...}, author = {Weber, A. }, citeulike-article-id = {3037866}, keywords = {algebra, classes, type}, posted-at = {2008-07-23 23:10:20}, priority = {3}, title = {Type Systems for Computer Algebra}, url = {http://citeseer.ist.psu.edu/39606.html}, year = {1993} }

RIS record

TY - GEN ID - citeulike:3037866 L3 - citeulike-article-id:3037866 TI - Type Systems for Computer Algebra N2 - I Zusammenfassung III 1 Introduction 1 2 Prelude 7 2.1 Terminology : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 7 2.1.1 Abstract Data Types : : : : : : : : : : : : : : : : : : : : : : : : 7 2.1.2 Polymorphism : : : : : : : : : : : : : : : : : : : : : : : : : : : 8 2.1.3 Coercions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 10 2.2 General Notation : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 11 2.3 Partial Orders and Quasi-Lattices : : : : : : : : ... KW - algebra KW - classes KW - type AU - Weber, A PY - 1993/// UR - http://citeseer.ist.psu.edu/39606.html ER -

RIS BibTeX