Practical type inference based on success typings

PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

Volumn 2006, Issue , 2006, Pages 167-178

  Lindahl, Tobias ^a   Sagonas, Konstantinos ^b  

^a UPPSALA UNIVERSITY   (Sweden)

^b NATIONAL TECHNICAL UNIVERSITY OF ATHENS   (Greece)

Author keywords

Constraint based type inference; Erlang; Subtyping; Success typings

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; FUNCTIONS; IMAGE RECONSTRUCTION; INTERFACES (COMPUTER);

BOTTOM-UP TYPE INFERENCE; INFERENCE ALGORITHM; PROGRAM MAINTENANCE; STATIC TYPE CHECKS;

PROGRAM COMPILERS;

EID: 33750905322     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1140335.1140356     Document Type: Conference Paper

References (13)

1. A. Aiken and E. L. Wimmers. Type inclusion constraints and type inference. In Functional Programming Languages and Computer Architecture, pages 31-41, 1993.
2. A. Aiken, E. L. Wimmers, and T. K. Lakshman. Soft typing with conditional types. In Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 163-173. ACM Press, 1994.
3. J. Armstrong, R. Virding, C. Wikström, and M. Williams. Concurrent Programming in Erlang. Prentice Hall Europe, Herfordshire, Great Britain, second edition, 1996.
4. R. Carlsson. An introduction to Core Erlang. In Proceedings of the PLI'01 Erlang Workshop, Sept. 2001.
5. R. Carlsson, K. Sagonas, and J. Wilhelmsson. Message analysis for concurrent languages. In R. Cousot, editor, Static Analysis: Proceedings of the 10th International Symposium, volume 2694 of LNCS, pages 73-90, Berlin, Germany, June 2003. Springer.
6. R. Cartwright and M. Fagan. Soft typing. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pages 278-292. ACM Press, 1991.
7. P. Deransart, M. V. Hermenegildo, and J. Maluszyński, editors. Analysis and Visualization Tools for Constraint Programming, Constraint Debugging (DiSCiPl project), volume 1870 of LNCS. Springer, 2000.
8. R. B. Finaler, J. Clements, C. Flanagan, M. Flatt, S. Krishnamurthi, P. Steckler, and M. Felleisen. DrScheme: A programming environment for Scheme. Journal of Functional Programming, 12(2):159-182, Mar. 2002.
9. M. V. Hermenegildo, G. Puebla, F. Bueno, and P. López- García. Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Sci. Comput. Programming, 58(1-2):115-140, 2005.
10. T. Lindahl and K. Sagonas. Detecting software defects in telecom applications through lightweight static analysis: A war story. In C. Wei-Ngan, editor, Programming Languages and Systems: Proceedings of the Second Asian Symposium (APLAS'04), volume 3302 of LNCS, pages 91-106. Springer, Nov. 2004.
11. S. Marlow and P. Wadler. A practical subtyping system for Erlang. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pages 136-149. ACM Press, June 1997.
12. S.-O. Nyström. A soft-typing system for Erlang. In Proceedings of ACM SIGPLAN Erlang Workshop, pages 56-71. ACM Press, Aug. 2003.
13. A. Wright and R. Cartwright. A practical soft type system for Scheme. ACM Trans. Prog. Lang. Syst., 19(1):87-152, Jan. 1997.