×

Found 4 Documents (Results 1–4)

Newest Citations Relevance
Koopman, Pieter

Functional semantics. (English) Zbl 1405.68061

Achten, Peter (ed.) et al., The beauty of functional code. Essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday. Berlin: Springer (ISBN 978-3-642-40354-5/pbk). Lecture Notes in Computer Science 8106. Lecture Notes in Artificial Intelligence, 60-78 (2013).
MSC:  68N18 68P05 68Q55
Cite Review PDF
Full Text: DOI
Millstein, Todd; Bleckner, Colin; Chambers, Craig

Modular typechecking for hierarchically extensible datatypes and functions. (English) Zbl 1322.68044

Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 110-122 (2002).
MSC:  68N18 68N19
Cite Review PDF
Full Text: DOI Link

Filter Results by …

all top 5

Author

Year of Publication

Main Field

Software