C programming language; Symposia; Computer programming; Programming languages; Programmers; Sweden; Polymorphism; Algorithms; Semantics;
机译:带有类型推断算法的ML样式多抽象演算
机译:多量和无类型系统中多态和现有类型的类型检查和推断
机译:具有有限分层多态类型的无类型样式系统F中类型相关问题的不确定性
机译:迈向C语言的ML风格多态类型系统
机译:具有用户定义的多态关系运算符的语言中的类型推断,类型改进和类型简化。
机译:多态性扩增分型序列(PATS)菌株分型系统准确地区分了一组与人类感染相关的时间和空间上不同的大肠杆菌O157分离株
机译:迈向C语言的ML风格多态类型系统