The Resource Type-driven development with Idris, Edwin Brady

Type-driven development with Idris, Edwin Brady

Label
Type-driven development with Idris
Title
Type-driven development with Idris
Statement of responsibility
Edwin Brady
Creator
Author
Subject
Language
eng
Cataloging source
UMI
http://library.link/vocab/creatorName
Brady, Edwin
Illustrations
illustrations
Index
index present
LC call number
QA76.62
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/subjectName
  • Idris (Computer program language)
  • Functional programming (Computer science)
Label
Type-driven development with Idris, Edwin Brady
Link
http://databases.mvlc.org/connect/safari?uiCode=&xmlId=9781617293023
Instantiates
Publication
Copyright
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Introduction -- Core Idris -- Idris and the real world
Control code
ocn984515077
Dimensions
unknown
Extent
1 online resource (1 volume)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
Stock number
CL0500000852
System control number
(OCoLC)984515077
Label
Type-driven development with Idris, Edwin Brady
Link
http://databases.mvlc.org/connect/safari?uiCode=&xmlId=9781617293023
Publication
Copyright
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Introduction -- Core Idris -- Idris and the real world
Control code
ocn984515077
Dimensions
unknown
Extent
1 online resource (1 volume)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
Stock number
CL0500000852
System control number
(OCoLC)984515077

Library Locations

    • Merrimack Valley Library ConsortiumBorrow it
      4 High Street, Suite 175, North Andover, MA, 01845, US
      42.7009413 -71.1255084
Processing Feedback ...