|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with Richard W. Weyhrauch Abstract of the paper, 15.07.1974(?) "Another axiomatization of PASCAL or Why axiomatize programming languages".
Covering letter, C. Talcott->Organizing Committee..., 24.06.1987submission of a draft of the paper "Partial evaluation, higher order abstractions, and reflection principles as system building tools" to the program of the Workshop
Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
