A Type-theoretic Reconstruction of the Visitor Pattern

[No Value] [No Value], Hayo Thielecke

Research output: Contribution to conference (unpublished) › Paper

17 Citations (Scopus)

Original language	English
Pages	309-329
Number of pages	21
DOIs	https://doi.org/10.1016/j.entcs.2005.11.061
Publication status	Published - 12 May 2006
Event	21st Conference on Mathematical Foundations of Programming Semantics (MFPS XXI) - Duration: 12 May 2006 → …

Conference	21st Conference on Mathematical Foundations of Programming Semantics (MFPS XXI)
Period	12/05/06 → …

Access to Document

@conference{a7fcea8eae734d968adc26663308d009,

title = "A Type-theoretic Reconstruction of the Visitor Pattern",

author = "{[No Value]}, {[No Value]} and Hayo Thielecke",

year = "2006",

month = may,

day = "12",

doi = "10.1016/j.entcs.2005.11.061",

language = "English",

pages = "309--329",

note = "21st Conference on Mathematical Foundations of Programming Semantics (MFPS XXI) ; Conference date: 12-05-2006",

}

TY - CONF

T1 - A Type-theoretic Reconstruction of the Visitor Pattern

AU - [No Value], [No Value]

AU - Thielecke, Hayo

PY - 2006/5/12

Y1 - 2006/5/12

UR - http://www.scopus.com/inward/record.url?scp=33646230303&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2005.11.061

DO - 10.1016/j.entcs.2005.11.061

M3 - Paper

SP - 309

EP - 329

T2 - 21st Conference on Mathematical Foundations of Programming Semantics (MFPS XXI)

Y2 - 12 May 2006

ER -