단행본 상세

서지주요정보
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
서명 / 저자 Applied Semantics [electronic resource] : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures / edited by Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva.
저자명 Barthe, Gilles. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Dybjer, Peter. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Pinto, Luis. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Saraiva, João. editor. (orcid)0000-0002-5686-7151 https://orcid.org/0000-0002-5686-7151 edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
판사항 1st ed. 2002.
발행사항 Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
총서명 Lecture Notes in Computer Science, 1611-3349 ; 2395
Online Access https://doi.org/10.1007/3-540-... URL

서지기타정보

서지기타정보
ISBN 9783540456995
기타 표준번호 10.1007/3-540-45699-6
청구기호 P99-99.4
형태사항 VIII, 536 p. online resource.
언어 English
내용 An Introduction to Dependent Type Theory -- Monads and Effects -- Abstract Machines, Control, and Sequents -- Normalization and Partial Evaluation -- Computing with Real Numbers -- The Join Calculus: A Language for Distributed Mobile Programming -- An Introduction to Functional Nets -- Operational Semantics and Program Equivalence -- Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa.
주제 Semiotics.
Compilers (Computer programs).
Computer science.
Semiotics.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783662188613 Printed edition: 9783540440444
QR CODE