Tools

LEADER 02583cam a22004694a 4500

001 ocm50228661;

003 OCoLC;

005 20141212165955.0;

007 cr un---------;

008 020716s2002 gw b 001 0 eng ;

010 a| 2002029196;

015 a| GBA2-73005;

016 7 a| 9648316782| GyFmDB;

019 a| 50940651;

020 a| 3540440445 (softcover : alk. paper);

035 a| (Sirsi) o50228661;

035 a| (OCoLC)50228661;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.7b| .A68 2000;

082 00 a| 005.13/12| 21;

111 2 a| APPSEM 2000d| (2000 :c| Caminha, Portugal)=| ^A535153;

245 10 a| Applied semantics :b| International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures /c| Gilles Barthe [and others] (eds.).;

260 a| Berlin ;a| New York :b| Springer,c| 2002.;

300 a| vi, 536 pages ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 2395;

500 a| Based on materials presented at the international summer school on applied semantics that took place in Caminha, Portugal, in September 2000.;

504 a| Includes bibliographical references and index.;

505 0 a| An introduction to dependent type theory / Gilles Barthe and Thierry Coquand -- Monads and effects / Nick Benton, John Hughes, and Eugenio Moggi -- Abstract machines, control, and sequents / Pierre-Louis Curien -- Normalization and partial evaluation / Peter Dybjer and Andrzej Filinski -- Computing with real numbers / Abbas Edalat and Reinhold Heckmann -- The join calculus : a language for distributed mobile programming / Cédric Fournet and Georges Gonthier -- An introduction to functional nets / Martin Odersky -- Operational semantics and program equivalence / Andrew M. Pitts -- Using, understanding, and unraveling the OCaml language / Didier Rëmy.;

530 a| Also available via the World Wide Web.;

650 0 a| Programming languages (Electronic computers)x| Semantics.=| ^A118081;

700 1 a| Barthe, Gilles,d| 1967-=| ^A535154;

830 0 a| Lecture notes in computer sciencev| 2395.=| ^A466336;

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2395.htmz| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

596 a| 1;

998 a| 904938;

999 a| QA76.7 .A68 2000w| LCc| 1i| 30372011942924d| 2/14/2013f| 2/14/2013g| 1l| JGESm| JOYNERp| $66.46r| Ys| Yt| JGESBKu| 11/22/2002x| BOOKz| JSTACKSo| .STAFF. 0;

Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures / Gilles Barthe [and others] (eds.).

Author/creator	APPSEM 2000
Other author	Barthe, Gilles, 1967-
Format	Electronic
Publication Info	Berlin ; New York : Springer, 2002.
Description	vi, 536 pages ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Programming languages (Electronic computers)--Semantics.

Series	Lecture notes in computer science ; 2395 Lecture notes in computer science 2395. ^A466336
Contents	An introduction to dependent type theory / Gilles Barthe and Thierry Coquand -- Monads and effects / Nick Benton, John Hughes, and Eugenio Moggi -- Abstract machines, control, and sequents / Pierre-Louis Curien -- Normalization and partial evaluation / Peter Dybjer and Andrzej Filinski -- Computing with real numbers / Abbas Edalat and Reinhold Heckmann -- The join calculus : a language for distributed mobile programming / Cédric Fournet and Georges Gonthier -- An introduction to functional nets / Martin Odersky -- Operational semantics and program equivalence / Andrew M. Pitts -- Using, understanding, and unraveling the OCaml language / Didier Rëmy.
General note	Based on materials presented at the international summer school on applied semantics that took place in Caminha, Portugal, in September 2000.
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
LCCN	2002029196
ISBN	3540440445 (softcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.7 .A68 2000	✔ Available	Place Hold

Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures / Gilles Barthe [and others] (eds.).

Click here for more information about this title

Availability