TYPER: A type annotator of erlang code

Erlang'05 - Proceedings of the ACM SIGPLAN 2005 Erlang Workshop

Volumn , Issue , 2005, Pages 17-25

  Lindahl, Tobias ^a   Sagonas, Konstantinos ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

Constraint based type inference; Erlang; Principal typings; Subtyping; Success typings

Indexed keywords

ALGORITHMS; COMPUTER APPLICATIONS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; INFERENCE ENGINES;

CONSTRAINT-BASED TYPE INFERENCE; ERLANG; PRINCIPAL TYPINGS; SUBTYPING;

BINARY CODES;

EID: 32044440270     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1088361.1088366     Document Type: Conference Paper

References (8)

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. J. Armstrong, R. Virding, C. Wikström, and M. Williams. Concurrent Programming in Erlang. Prentice Hall Europe, Herfordshire, Great Britain, second edition, 1996.
3. R. B. Findler, 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.
4. T. Jim. What are principal typings and what are they good for? In Proceedings of the 23th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 42-53. ACM Press, Jan. 1998.
5. 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.
6. 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.
7. S.-O. Nyström. A soft-typing system for Erlang. In Proceedings of ACM SIGPLAN Erlang Workshop, pages 56-71. ACM Press, Aug. 2003.
8. J. B. Wells. The essence of principal typings. In Proceedings of the 29th International Colloqium on Automata, Languages. and Programming, volume 2380 of LNCS, pages 913-925. Springer, 2002.