Patrick O'Keefe
Patrick O'Keefe
Afiliação desconhecida
E-mail confirmado em alum.mit.edu - Página inicial
TítuloCitado porAno
A type system equivalent to flow analysis
J Palsberg, P O'Keefe
ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (4), 576-599, 1995
1901995
Type inference with non-structural subtyping
J Palsberg, M Wand, P O'Keefe
Formal Aspects of Computing 9 (1), 49-67, 1997
551997
On the complexity of type inference with coercion
M Wand, P O'Keefe
Proceedings of the fourth international conference on Functional programming …, 1989
451989
Automatic Dimensional Inference.
M Wand, P O'Keefe
Computational Logic-Essays in Honor of Alan Robinson, 479-483, 1991
411991
Type inference for partial types is decidable
PM O'Keefe, M Wand
European Symposium on Programming, 408-417, 1992
331992
Strong normalization with non-structural subtyping
M Wand, P O'Keefe, J Palsberg
Mathematical Structures in Computer Science 5 (3), 419-429, 1995
91995
Partially typed terms are strongly normalizing
M Wand, PM O'Keefe
manuscript, December, 1991
51991
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–7