Corpus ID: 45286521

Turing Scholars honors thesis Parametric Polymorphism in the Go Programming Language

  title={Turing Scholars honors thesis Parametric Polymorphism in the Go Programming Language},
  author={M. Allen},
  • M. Allen
  • Published 2016
  • An extension to the Go language was developed that introduces parametric polymorphism in the form of generic functions. The changes to the language and the compiler needed to implement the type system extensions are discussed, and alternative implementation strategies are described. The resulting implementation of generic functions is backwards compatible with the existing Go standard and is consistent with the design goals of the language. The overhead of the current prototype implementation… CONTINUE READING

    Figures and Tables from this paper.


    Design and implementation of generics for the .NET Common language runtime
    • 237
    • PDF
    Basic Polymorphic Typechecking
    • 171
    • PDF
    LLVM: a compilation framework for lifelong program analysis & transformation
    • 4,099
    • PDF
    Generics in Java and C++: a comparative model
    • 14
    • Highly Influential
    • PDF
    Go at Google
    • R. Pike
    • Computer Science
    • SPLASH '12
    • 2012
    • 19
    Efficiently computing static single assignment form and the control dependence graph
    • 2,150
    • Highly Influential
    • PDF
    A theory of type polymorphism in programming
    • Journal of computer and system sciences 17,
    • 1978