{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:11Z","timestamp":1772163971707,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,12]],"date-time":"2005-09-12T00:00:00Z","timestamp":1126483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9,12]]},"DOI":"10.1145\/1086365.1086371","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"27-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["An expressive language of signatures"],"prefix":"10.1145","author":[{"given":"Norman","family":"Ramsey","sequence":"first","affiliation":[{"name":"Division of Engineering and Applied Sciences, Harvard University"}]},{"given":"Kathleen","family":"Fisher","sequence":"additional","affiliation":[{"name":"AT&T Labs Research"}]},{"given":"Paul","family":"Govereau","sequence":"additional","affiliation":[{"name":"Division of Engineering and Applied Sciences, Harvard University"}]}],"member":"320","published-online":{"date-parts":[[2005,9,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/325478.325518"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301641"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/640128.604151"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/301631.301638"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176927"},{"key":"e_1_3_2_1_6_1","volume-title":"Pierce","author":"Harper Robert","year":"2005","unstructured":"Robert Harper and Benjamin C . Pierce . 2005 . Design considerations for ML-style module systems. In Benjamin C. Pierce, editor, Advanced Topics in Types and Programming Languages, chapter 8. MIT Press . Robert Harper and Benjamin C. Pierce. 2005. Design considerations for ML-style module systems. In Benjamin C. Pierce, editor, Advanced Topics in Types and Programming Languages, chapter 8. MIT Press."},{"key":"e_1_3_2_1_7_1","volume-title":"A type-theoretic interpretation of Standard ML","author":"Harper Robert","unstructured":"Robert Harper and Christopher Stone . 2000. A type-theoretic interpretation of Standard ML . In Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press . Robert Harper and Christopher Stone. 2000. A type-theoretic interpretation of Standard ML. In Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press."},{"key":"e_1_3_2_1_8_1","unstructured":"Roberto Ierusalimschy. 2003 (December). Programming in Lua. Lua.Org. ISBN 85-903798-1-7.  Roberto Ierusalimschy. 2003 (December). Programming in Lua. Lua.Org. ISBN 85-903798-1-7."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176926"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800003683"},{"key":"e_1_3_2_1_11_1","volume-title":"The Definition of Standard ML (Revised)","author":"Milner Robin","unstructured":"Robin Milner , Mads Tofte , Robert Harper , and David MacQueen . 1997. The Definition of Standard ML (Revised) . MIT Press , Cambridge, Massachusetts . Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. 1997. The Definition of Standard ML (Revised). MIT Press, Cambridge, Massachusetts."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/44501.45065"},{"key":"e_1_3_2_1_13_1","volume-title":"Division of Engineering and Applied Sciences","author":"Ramsey Norman","unstructured":"Norman Ramsey , Kathleen Fisher , and Paul Govereau . 2005 (September). An expressive language of interfaces \u2014 extended version. Technical report , Division of Engineering and Applied Sciences , Harvard University . To appear. Norman Ramsey, Kathleen Fisher, and Paul Govereau. 2005 (September). An expressive language of interfaces \u2014 extended version. Technical report, Division of Engineering and Applied Sciences, Harvard University. To appear."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/507669.507644"}],"event":{"name":"ICFP05: ACM SIGPLAN International Conference on Functional Programming","location":"Tallinn Estonia","acronym":"ICFP05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the tenth ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086365.1086371","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086365.1086371","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:12Z","timestamp":1750248492000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086365.1086371"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,12]]},"references-count":14,"alternative-id":["10.1145\/1086365.1086371","10.1145\/1086365"],"URL":"https:\/\/doi.org\/10.1145\/1086365.1086371","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1090189.1086371","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,9,12]]},"assertion":[{"value":"2005-09-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}