Applied Semantics
Subtitle: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science)
Contributors: Gilles Barthe (Editor); Peter Dybjer (Editor); Luis Pinto (Editor); Joao Saraiva (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 3, 2002
Language: eng
Format: Paperback
Number of pages: 547
ISBN-13: 9783540440444
Subjects: Programming languages; Semantics (meaning); Programming languages (Electronic computers); General; Programming Language Semantics; Computers; Computers - Languages / Programming; Programming languages (Electro; Computer Books: Languages; Programming Languages - General; Programming - General; Computers / Programming Languages / General; Program Semantics; Program Structuring; Program Verification; Programming Calculi; Programming Language Design; Programming Language Implementation; Programming Theory; Semantics
First sentence: Pure Type Systems are too minimalist for practical programming and do not support mechanisms to represent basic constructions such as structures and datatypes.