Documenting Software Systems Using Types

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	Undefined/Unknown
Pages (from-to)	205-220
Number of pages	16
Journal	Science of Computer Programming
Volume	60
Issue number	2
Publication status	Published - 2006

DM:SCP06

Keywords

@article{57b62af2b5944b7dbedd2a423f349fc8,

title = "Documenting Software Systems Using Types",

keywords = "Wiskunde en Informatica, Techniek, technische Wiskunde en Informatica, CWTS 0.75 <= JFIS < 2.00",

author = "{van Deursen}, A and LMF Moonen",

note = "DM:SCP06",

year = "2006",

language = "Undefined/Unknown",

volume = "60",

pages = "205--220",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

number = "2",

}

TY - JOUR

T1 - Documenting Software Systems Using Types

AU - van Deursen, A

AU - Moonen, LMF

N1 - DM:SCP06

PY - 2006

Y1 - 2006

KW - Wiskunde en Informatica

KW - Techniek

KW - technische Wiskunde en Informatica

KW - CWTS 0.75 <= JFIS < 2.00

M3 - Article

SN - 0167-6423

VL - 60

SP - 205

EP - 220

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 2

ER -