Coverart for item
The Resource 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), (electronic resource)

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), (electronic resource)

Label
MERLIN '05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia
Title
MERLIN '05
Title remainder
proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia
Statement of responsibility
A. Momigliano & R. Pollack, editors ; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
Title variation
  • Proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
  • ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
  • Mechanized Reasoning about Languages with Variable Binding
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
VYR
Dewey number
005.13
LC call number
QA76.7
LC item number
.A247 2005
http://bibfra.me/vocab/lite/meetingDate
2005
http://bibfra.me/vocab/lite/meetingName
ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
http://library.link/vocab/relatedWorkOrContributorDate
2005
http://library.link/vocab/relatedWorkOrContributorName
  • Momigliano, Alberto
  • Pollack, R.
  • ACM Special Interest Group on Programming Languages
  • ACM SIGPLAN International Conference on Functional Programming
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Reasoning
Label
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), (electronic resource)
Instantiates
Publication
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
  • "ACM order number 565058"--P. ii
Bibliography note
Includes bibliographical reference and author index
Control code
OCM1bookssj0000752816
Dimensions
28 cm.
Dimensions
unknown
Extent
vii, 64 pages
Isbn
9781595930729
Isbn Type
(pbk.)
Lccn
2006273618
Other physical details
illustrations
Specific material designation
remote
System control number
(WaSeSS)ssj0000752816
Label
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), (electronic resource)
Publication
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
  • "ACM order number 565058"--P. ii
Bibliography note
Includes bibliographical reference and author index
Control code
OCM1bookssj0000752816
Dimensions
28 cm.
Dimensions
unknown
Extent
vii, 64 pages
Isbn
9781595930729
Isbn Type
(pbk.)
Lccn
2006273618
Other physical details
illustrations
Specific material designation
remote
System control number
(WaSeSS)ssj0000752816

Library Locations

    • UMKCBorrow it
      800 E 51st St, Kansas City, MO, 64110, US
      39.035061 -94.576518
    • Health Sciences LibraryBorrow it
      2411 Holmes St, Kansas City, Kansas City, MO, 64108, US
      39.083418 -94.575323
    • Leon E. Bloch Law LibraryBorrow it
      500 E. 52nd Street, Kansas City, MO, 64110, US
      39.032488 -94.581967
Processing Feedback ...