Document Search Results

Peyton Jones, Simon; Weirich, Stephanie; Eisenberg, Richard A.; Vytiniotis, Dimitrios

A reflection on types. (English) Zbl 1343.68048

Lindley, Sam (ed.) et al., A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-30935-4/pbk; 978-3-319-30936-1/ebook). Lecture Notes in Computer Science 9600, 292-317 (2016).

MSC: 68N18

Cite Review PDF

Full Text: DOI

Weirich, Stephanie; Vytiniotis, Dimitrios; Peyton Jones, Simon; Zdancewic, Steve

Generative type abstraction and type-level computation. (English) Zbl 1284.68140

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 227-240 (2011).

MSC: 68N18 68N15

Cite Review PDF

Full Text: DOI Link

Vytiniotis, Dimitrios; Jones, Simon Peyton; Schrijvers, Tom; Sulzmann, Martin

OutsideIn(X): modular type inference with local assumptions. (English) Zbl 1262.68034

J. Funct. Program. 21, No. 4-5, 333-412 (2011).

MSC: 68N18 68N17

Cite Review PDF

Full Text: DOI

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

Found 6 Documents (Results 1–6)

A reflection on types. (English) Zbl 1343.68048

Generative type abstraction and type-level computation. (English) Zbl 1284.68140

OutsideIn(X): modular type inference with local assumptions. (English) Zbl 1262.68034

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

Associated types with class. (English) Zbl 1369.68089

Associated type synonyms. (English) Zbl 1302.68055

Filter Results by …

Document Type

Author

Year of Publication

Main Field

Software