Tools

LEADER 03385cam 22005777a 4500

001 ssj0000752816;

003 WaSeSS;

005 20200712081245.0;

006 m d ;

007 cr n ;

008 060324s2005 nyua sb 101 0 eng d;

010 a| 2006273618;

020 a| 1595930728 (pbk.);

035 a| (WaSeSS)ssj0000752816;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA76.7b| .A247 2005;

082 00 a| 005.132| 22;

111 2 a| ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Bindingn| (3rd :d| 2005 :c| Tallinn, Estonia)?| UNAUTHORIZED;

245 10 a| MERLIN '05h| [electronic resource] :b| proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia /c| A. Momigliano & R. Pollack, editors ; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN).;

246 30 a| Proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding;

246 30 a| ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding;

246 30 a| Mechanized Reasoning about Languages with Variable Binding;

260 a| New York, NY :b| Association for Computing Machinery,;

300 a| vii, 64 p. :b| ill. ;c| 28 cm.;

500 a| "... held in association with the 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), on August 30th, 2005 in Tallinn, Estonia"--P. iii.;

500 a| "ACM order number 565058"--P. ii.;

504 a| Includes bibliographical reference and author index.;

506 a| Available only to authorized users.;

530 a| Also issued online with additional title: Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding.;

538 a| Mode of access: World Wide Web;

650 0 a| Programming languages (Electronic computers)v| Congresses.=| ^A34404;

650 0 a| Reasoningx| Data processingv| Congresses.=| ^A18484;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Momigliano, Alberto.?| UNAUTHORIZED;

700 1 a| Pollack, R.q| (Randy)?| UNAUTHORIZED;

710 2 a| ACM Special Interest Group on Programming Languages.=| ^A267395;

710 2 a| ACM Digital Library.=| ^A534338;

711 2 a| ACM SIGPLAN International Conference on Functional Programmingn| (10th :d| 2005 :c| Tallinn, Estonia)?| UNAUTHORIZED;

740 0 a| Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding.;

856 40 z| Full text available from ACM Digital Libraryu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Fdl.acm.org%2Fdoi%2Fbook%2F10.1145%2F1088454;

947 a| (OCoLC)ocm63189399;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4180542;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4180542-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/2/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4180542-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/2/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4180542-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/2/2016x| EBOOKz| JERESOURCE;

MERLIN '05 proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia / A. Momigliano & R. Pollack, editors ; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN).

Author/creator	ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
Format	Electronic
Publication Info	New York, NY : Association for Computing Machinery,
Description	vii, 64 p. : ill. ; 28 cm.
Supplemental Content	Full text available from ACM Digital Library
Subjects	Programming languages (Electronic computers)--Congresses. Reasoning--Data processing. --Congresses.

Other author/creator	Momigliano, Alberto.
Other author/creator	Pollack, R. (Randy)
Other author/creator	ACM Special Interest Group on Programming Languages.
Other author/creator	ACM Digital Library.
Other author/creator	ACM SIGPLAN International Conference on Functional Programming 2005 : Tallinn, Estonia) (10th :
Portion of title	Proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
Portion of title	ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
Portion of title	Mechanized Reasoning about Languages with Variable Binding
General note	"... held in association with the 10th ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), on August 30th, 2005 in Tallinn, Estonia"--P. iii.
General note	"ACM order number 565058"--P. ii.
Bibliography note	Includes bibliographical reference and author index.
Access restriction	Available only to authorized users.
Other forms	Also issued online with additional title: Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
Other title	Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding.
LCCN	2006273618
ISBN	1595930728 (pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Click here for more information about this title

Availability