{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:21:20Z","timestamp":1743038480706,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319296036"},{"type":"electronic","value":"9783319296043"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29604-3_12","type":"book-chapter","created":{"date-parts":[[2016,2,20]],"date-time":"2016-02-20T07:53:12Z","timestamp":1455954792000},"page":"181-197","source":"Crossref","is-referenced-by-count":0,"title":["Polymorphic Types in Erlang Function Specifications"],"prefix":"10.1007","author":[{"given":"Francisco J.","family":"L\u00f3pez-Fraguas","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Montenegro","sequence":"additional","affiliation":[]},{"given":"Juan","family":"Rodr\u00edguez-Hortal\u00e1","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,21]]},"reference":[{"key":"12_CR1","unstructured":"Erlang reference manual user\u2019s guide v 6.4: 7. types and function specifications (2015). \n                    http:\/\/erlang.org\/doc\/reference_manual\/typespec.html"},{"key":"12_CR2","unstructured":"Armstrong, J.: Programming Erlang: Software for a Concurrent World. The Pragmatic Programmers. Pragmatic Bookshelf (2013)"},{"key":"12_CR3","unstructured":"Carlsson, R.: An introduction to core erlang. In: Proceedings of the PLI 2001 Erlang Workshop. Citeseer (2001)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Damas, L., Milner, R.: Principal type-schemes for functional programs. In: Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 207\u2013212. ACM (1982)","DOI":"10.1145\/582153.582176"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Gunter, C.A., Mosses, P.D., Scott, D.S.: Semantic domains and denotational semantics. Technical report MS-CIS-89-16, Department of Computer and Information Science, University of Pennsylvania, February 1989","DOI":"10.21236\/ADA220285"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Jimenez, M., Lindahl, T., Sagonas, K.: A language for specifying type contracts in erlang and its interaction with success typings. In: Proceedings of the 2007 SIGPLAN Workshop on ERLANG Workshop, pp. 11\u201317. ACM (2007)","DOI":"10.1145\/1292520.1292523"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-30477-7_7","volume-title":"Programming Languages and Systems","author":"T Lindahl","year":"2004","unstructured":"Lindahl, T., Sagonas, K.: Detecting software defects in telecom applications through lightweight static analysis: a war story. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302, pp. 91\u2013106. Springer, Heidelberg (2004)"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Lindahl, T., Sagonas, K.: Typer: a type annotator of erlang code. In: Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, pp. 17\u201325. ACM (2005)","DOI":"10.1145\/1088361.1088366"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Lindahl, T., Sagonas, K.: Practical type inference based on success typings. In: Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP 2006, pp. 167\u2013178, New York, NY, USA. ACM (2006)","DOI":"10.1145\/1140335.1140356"},{"key":"12_CR10","unstructured":"L\u00f3pez-Fraguas, F.J., Montenegro, M., S\u00e1nchez-Hern\u00e1ndez, J.: Polymorphic types in Erlang function specifications (extended version). Technical report TR-3-15, Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, Universidad Complutense de Madrid (2015)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Marlow, S., Wadler, P.: A practical subtyping system for erlang. In: Proceedings of the Second ACM SIGPLAN International Conference on Functional Programming, ICFP 1997, pp. 136\u2013149, New York, NY, USA. ACM (1997)","DOI":"10.1145\/258949.258962"},{"key":"12_CR12","unstructured":"Pierce, B.C.: Programming with intersection types and bounded polymorphism. Technical report (1991)"},{"key":"12_CR13","unstructured":"Reynolds, J.C.: Types, abstraction, and parametric polymorphism. In: Mason, R.E.A. (ed.) Information Processing 83. Elsevier Science Inc. (1983)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-642-12251-4_2","volume-title":"Functional and Logic Programming","author":"K Sagonas","year":"2010","unstructured":"Sagonas, K.: Using static analysis to detect type errors and concurrency defects in erlang programs. In: Blume, M., Kobayashi, N., Vidal, G. (eds.) FLOPS 2010. LNCS, vol. 6009, pp. 13\u201318. Springer, Heidelberg (2010)"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Theorems for free! In: Proceedings of the Fourth International Conference on Functional Programming Languages and Computer Architecture, pp. 347\u2013359. ACM (1989)","DOI":"10.1145\/99370.99404"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29604-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:02:22Z","timestamp":1559386942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29604-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319296036","9783319296043"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29604-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}