Math Pro 數學補給站's Archiver

付出最多的人,
也是收穫最多的人。

weiye 發表於 2006-11-10 01:09

[Lisp] Common Lisp, Typing and Mathematics.

[url=http://www-fourier.ujf-grenoble.fr/~sergerar/Papers/Ezcaray.pdf]http://www-fourier.ujf-grenoble.fr/~sergerar/Papers/Ezcaray.pdf[/url]


Text written as lecture notes for a three hours talk given on September 11, 2001, a satellite talk of the EACA Meeting at Ezcaray (Spain).

This paper (45p.) is a presentation of Common Lisp for Mathemacians, more exactly a presentation of the Common Lisp Object System (= CLOS) which is now the main constituent of the language achitecture. The nature of this paper is didactic, with simple examples that can be repeated on any ANSI Common Lisp environment. Sections:

Introduction.
Common Lisp Object System.
What typing is.
CLOS and mathematical structures.
CLOS and the Kenzo program.

作者網頁: [url=http://www-fourier.ujf-grenoble.fr/~sergerar/]http://www-fourier.ujf-grenoble.fr/~sergerar/[/url]

頁: [1]

論壇程式使用 Discuz! Archiver 6.1.0  © 2001-2007 Comsenz Inc.