Coverart for item
The Resource Proceedings of the 2003 ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, Association for Computing Machinery, (electronic resource)

Proceedings of the 2003 ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, Association for Computing Machinery, (electronic resource)

Label
Proceedings of the 2003 ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
Title
Proceedings of the 2003 ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
Statement of responsibility
Association for Computing Machinery
Title variation
  • Proceedings of the 2003 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Mechanized Reasoning About Languages with Variable Binding
  • MERLIN '03 Mechanized Reasoning about Languages with Variable Binding 2003 Wokshop (co-located with ICFP and PPDP 2003 Conferences), Uppsala, Sweden - August 26 - 26, 2003
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
WaSeSS
LC call number
QA76.7
http://bibfra.me/vocab/lite/meetingDate
2003
http://bibfra.me/vocab/lite/meetingName
ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
http://library.link/vocab/relatedWorkOrContributorName
  • Association for Computing Machinery
  • ACM Digital Library
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Reasoning
Label
Proceedings of the 2003 ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, Association for Computing Machinery, (electronic resource)
Instantiates
Publication
Control code
OCM1bookssj0001137881
Dimensions
unknown
Isbn
9781581138009
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)bookssj0001137881
Label
Proceedings of the 2003 ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, Association for Computing Machinery, (electronic resource)
Publication
Control code
OCM1bookssj0001137881
Dimensions
unknown
Isbn
9781581138009
Isbn Type
(print)
Specific material designation
remote
System control number
(WaSeSS)bookssj0001137881

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...