Coverart for item
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
  • (Sirsi) o984515077
  • (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
  • (Sirsi) o984515077
  • (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 ...