Document Search Results

from until

Found 3 Documents (Results 1–3)

Newest Citations Relevance

Schrijvers, Tom; Peyton Jones, Simon; Chakravarty, Manuel; Sulzmann, Martin

Type checking with open type functions. (English) Zbl 1323.68156

Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 51-62 (2008).

MSC: 68N18 68Q55

Cite Review PDF

Full Text: DOI Link

Chakravarty, Manuel M. T.; Keller, Gabriele; Jones, Simon Peyton; Marlow, Simon

Associated types with class. (English) Zbl 1369.68089

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 1-13 (2005).

MSC: 68N18 68N15

Cite Review PDF

Full Text: DOI

Chakravarty, Manuel M. T.; Keller, Gabriele; Jones, Simon Peyton

Associated type synonyms. (English) Zbl 1302.68055

Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 241-253 (2005).

MSC: 68N18

Cite Review PDF

Full Text: DOI

Filter Results by …

all top 5

Author

Year of Publication

2008 (1)
2005 (2)

Main Field

68-XX (3)

Software

Haskell (2)