MSFP'10 : proceedings of the 2010 ACM SIGPLAN workshop on mathematically structured functional programming : September 25, 2010 : Baltimore, Maryland, USA : co-located with: ICFP'10. : 3rd workshop on mathematically structured functional programming (MSFP 2010) : international conference on functional programming (ICFP) : Sep 2010, Baltimore, MD.

MSFP'10 : proceedings of the 2010 ACM SIGPLAN workshop on mathematically structured functional programming : September 25, 2010 : Baltimore, Maryland, USA : co-located with: ICFP'10. : 3rd workshop on mathematically structured functional programming (MSFP 2010) : international conference on functional programming (ICFP) : Sep 2010, Baltimore, MD.

Call No. (NDL): M17-11-2252
Bibliographic ID of National Diet Library: 000011200274

Material type: 図書

Author: Capretta, Venanzio.ほか

Publisher: Association for Computing Machinery

Publication date: c2010.

Material Format: Paper

Capacity, size, etc.: vi, 56 p. : ill. ; 28 cm.

NDC: -

View All

Notes on use

Note (General)：: Abstracts and papers.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9781450302555
Title: MSFP'10 : proceedings of the 2010 ACM SIGPLAN workshop on mathematically structured functional programming : September 25, 2010 : Baltimore, Maryland, USA : co-located with: ICFP'10. : 3rd workshop on mathematically structured functional programming (MSFP 2010) : international conference on functional programming (ICFP) : Sep 2010, Baltimore, MD.
Author Heading: Capretta, Venanzio.
Chapman, James.
ACM SIGPLAN Workshop on Mathematically Structured Functional Programming (3rd : 2010 : Baltimore, Md.)
ACM SIGPLAN International Conference on Functional Programming (2010 : Baltimore, Md.)
Publication, Distribution, etc.: New York : Association for Computing Machinery
Publication Date: c2010.
Publication Date (W3CDTF): 2010
Extent: vi, 56 p. : ill. ; 28 cm.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Functional programming (Computer science) -- Congresses.
Functional programming languages -- Congresses.
NDLC: M17
Note (General): Abstracts and papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-11-2252
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000011200274
http://id.ndl.go.jp/bib/000011200274
OCLC No.: 688421925
https://www.worldcat.org/oclc/688421925
Bibliographic Record Category (NDL): 215