02211oam 2200505zu 450 991037601250332120210807002012.0(CKB)3170000000003017(SSID)ssj0001120835(PQKBManifestationID)11711812(PQKBTitleCode)TC0001120835(PQKBWorkID)11159807(PQKB)10249719(WaSeSS)IndRDA00011042(Association for Computing Machinery)10.1145/1863597(EXLCZ)99317000000000301720160829d2010 uy engur|||||||||||txtccrMSFP'10 : proceedings of the 2010 ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, September 25, 2010 Baltimore, Maryland, USA[Place of publication not identified]ACM20101 online resource (56 pages)ACM ConferencesBibliographic Level Mode of Issuance: Monograph1-4503-0255-6 ACM ConferencesMathematically Structured Functional Programming'10 :proceedings of the 2010 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Mathematically Structured Functional Programming, September 25, 2010 Baltimore, Maryland, USAProceedings of the third ACM SIGPLAN Workshop on Mathematically Structured Functional ProgrammingICFP '10 ACM SIGPLAN International Conference on Functional Programming, Baltimore, MD, USA - September 27 - 29, 2010Engineering & Applied SciencesHILCCComputer ScienceHILCCEngineering & Applied SciencesComputer ScienceCapretta Venanzio992279Chapman JamesCapretta VenanzioAssociation for Computing Machinery-Digital Library.PQKBBOOK9910376012503321MSFP'10 : proceedings of the 2010 ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, September 25, 2010 Baltimore, Maryland, USA2272096UNINA