Alexander Aiken, Edward L. Wimmers, T.K. Lakshman. Soft Typing with Conditional Types. In Proc. 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Portland, Oregon, January 1994.
[ Dyntyp ]
A. Aiken
E. Wimmers
TV Lakshman
@InProceedings{aiwila94,
Author = {Aiken, Alexander and Wimmers, Edward L. and Lakshman, T.K.},
Title = {Soft Typing with Conditional Types},
BookTitle = {Proc. 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Portland, Oregon},
Publisher = {ACM Press},
Month = {January},
Year = {1994}
}
Get EndNote Reference (.ref)