Simple Type Inference for Structural Polymorphism† Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN

Source URL: www.math.nagoya-u.ac.jp

• Symbol
• Polymorphism

HI-CFG: Construction by Dynamic Binary Analysis, and Application to Attack Polymorphism Dan Caselden, Alex Bazhanyuk, Mathias Payer, Stephen McCamant,

Source URL: www.nebelwelt.net

Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Type theory
• Programming language theory
• Computing
• Parametric polymorphism
• Polymorphism
• Type system
• Covariance and contravariance
• HindleyMilner type system
• Type inference
• Subtyping
• System F

HI-CFG: Construction by Binary Analysis, and Application to Attack Polymorphism Dan Caselden1 , Alex Bazhanyuk2 , Mathias Payer3 , Stephen McCamant4 , and Dawn Song3 1

Source URL: www.nebelwelt.net

Probabilistic models of genetic variation in structured populations applied to global human studies arXiv:1312.2041v1 [q-bio.PE] 7 DecWei Hao1∗ , Minsun Song1∗ , and John D. Storey1,2 †

Source URL: arxiv.org

• Population genetics
• Single-nucleotide polymorphism
• International HapMap Project
• Genome-wide association study
• Allele frequency
• Genotype frequency
• HardyWeinberg principle
• Human genetic variation
• Logit
• Allele frequency spectrum
• Tag SNP

MultiJava: Design Rationale, Compiler Implementation, and Applications Curtis Clifton, Todd Millstein, Gary T. Leavens, and Craig Chambers TR #04-01b December 2004 Revised version of TR #04-01, dated January 2004 and tit

Source URL: curtclifton.net

• Software engineering
• Computer programming
• Computing
• Method
• Object-oriented programming
• Multiple dispatch
• Double dispatch
• Class
• Dynamic dispatch
• Polymorphism
• Xtend
• Generic function

Reification, Polymorphism and Reuse: Three Principles for Designing Visual Interfaces Michel Beaudouin-Lafon and Wendy E. Mackay University of Aarhus, Department of Computer Science Aabogade 34 DK-8200 Aarhus N - Denmark

Source URL: www.lri.fr

Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance Eric Allen Justin Hilburn

Source URL: www.mpi-sws.org

Mycorrhiza:259–270 DOIs00572REVIEW Using terminal restriction fragment length polymorphism

Source URL: richfitz.github.io

Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However,

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Type theory
• Eval
• Standard ML
• Anonymous function
• HindleyMilner type system
• OCaml
• Polymorphism