乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T21:17:36Z","timestamp":1730323056355,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","funder":[{"name":"Fondo Clemente Estable","award":["FCE-149433"]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,9,25]]},"DOI":"10.1145\/3412932.3412942","type":"proceedings-article","created":{"date-parts":[[2021,7,15]],"date-time":"2021-07-15T16:08:45Z","timestamp":1626365325000},"page":"1-12","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Attribute grammars fly first-class... safer!"],"prefix":"10.1145","author":[{"given":"Juan","family":"Garc\u00eda-Garland","sequence":"first","affiliation":[{"name":"Universidad de la Rep\u00fablica, Montevideo, Uruguay"}]},{"given":"Alberto","family":"Pardo","sequence":"additional","affiliation":[{"name":"Universidad de la Rep\u00fablica, Montevideo, Uruguay"}]},{"given":"Marcos","family":"Viera","sequence":"additional","affiliation":[{"name":"Universidad de la Rep\u00fablica, Montevideo, Uruguay"}]}],"member":"320","published-online":{"date-parts":[[2021,7,15]]},"reference":[{"key":"e_1_3_2_1_2_1","volume-title":"Using circular programs to eliminate multiple traversals of data. Acta Inform\u00e1tica. 21 (10","author":"Bird Richard","year":"1984","unstructured":"Richard Bird . 1984. Using circular programs to eliminate multiple traversals of data. Acta Inform\u00e1tica. 21 (10 1984 ), 239--250. Richard Bird. 1984. Using circular programs to eliminate multiple traversals of data. Acta Inform\u00e1tica. 21 (10 1984), 239--250."},{"key":"e_1_3_2_1_3_1","first-page":"9","article-title":"Associated Type Synonyms","volume":"40","author":"Chakravarty Manuel M. T.","year":"2005","unstructured":"Manuel M. T. Chakravarty , Gabriele Keller , and Simon Peyton Jones . 2005 . Associated Type Synonyms . SIGPLAN Not. 40 , 9 (Sept. 2005), 241--253. Manuel M. T. Chakravarty, Gabriele Keller, and Simon Peyton Jones. 2005. Associated Type Synonyms. SIGPLAN Not. 40, 9 (Sept. 2005), 241--253.","journal-title":"SIGPLAN Not."},{"key":"e_1_3_2_1_4_1","volume-title":"First International Symposium, GCSE'99","author":"de Moor Oege","year":"1999","unstructured":"Oege de Moor , Simon L. Peyton Jones , and Eric Van Wyk . 1999 . Aspect-Oriented Compilers. In Generative and Component-Based Software Engineering , First International Symposium, GCSE'99 , Erfurt, Germany , September 28-30, 1999, Revised Papers. 121--133. Oege de Moor, Simon L. Peyton Jones, and Eric Van Wyk. 1999. Aspect-Oriented Compilers. In Generative and Component-Based Software Engineering, First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999, Revised Papers. 121--133."},{"key":"e_1_3_2_1_5_1","volume-title":"Ahmed","author":"Eisenberg Richard A.","year":"2016","unstructured":"Richard A. Eisenberg , Stephanie Weirich , and Hamidhasan G . Ahmed . 2016 . Visible Type Application.. In ESOP (Lecture Notes in Computer Science , Vol. 9632), Peter Thiemann (Ed.). Springer, 229-- 254 . Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed. 2016. Visible Type Application.. In ESOP (Lecture Notes in Computer Science, Vol. 9632), Peter Thiemann (Ed.). Springer, 229--254."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.02.003"},{"key":"e_1_3_2_1_8_1","volume-title":"ESOP (Lecture Notes in Computer Science","volume":"244","author":"Jones Mark P.","year":"2000","unstructured":"Mark P. Jones . 2000 . Type Classes with Functional Dependencies . In ESOP (Lecture Notes in Computer Science , Vol. 1782). Springer, 230-- 244 . Mark P. Jones. 2000. Type Classes with Functional Dependencies. In ESOP (Lecture Notes in Computer Science, Vol. 1782). Springer, 230--244."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017488"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Donald E. Knuth. 1968. Semantics of Context-Free Languages. In In Mathematical Systems Theory. 127--145. Donald E. Knuth. 1968. Semantics of Context-Free Languages. In In Mathematical Systems Theory. 127--145.","DOI":"10.1007\/BF01692511"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40922-6_10"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2004.02.001"},{"key":"e_1_3_2_1_13_1","first-page":"2000","article-title":"First-class Attribute Grammars","volume":"24","author":"Moor Oege De","year":"1999","unstructured":"Oege De Moor . 1999 . First-class Attribute Grammars . Informatica 24 (1999), 2000 . Oege De Moor. 1999. First-class Attribute Grammars. Informatica 24 (1999), 2000.","journal-title":"Informatica"},{"key":"e_1_3_2_1_14_1","volume-title":"Haskell workshop (haskell workshop ed.).","author":"Jones Simon Peyton","year":"1997","unstructured":"Simon Peyton Jones , Mark Jones , and Erik Meijer . 1997 . Type classes: an exploration of the design space . In Haskell workshop (haskell workshop ed.). Simon Peyton Jones, Mark Jones, and Erik Meijer. 1997. Type classes: an exploration of the design space. In Haskell workshop (haskell workshop ed.)."},{"key":"e_1_3_2_1_15_1","volume-title":"Simon Peyton Jones, and Richard A. Eisenberg","author":"Pickering Matthew","year":"2016","unstructured":"Matthew Pickering , Gerg\"o \u00c9rdi , Simon Peyton Jones, and Richard A. Eisenberg . 2016 . Pattern Synonyms . https:\/\/www.microsoft.com\/en-us\/research\/publication\/pattern-synonyms\/ Matthew Pickering, Gerg\"o \u00c9rdi, Simon Peyton Jones, and Richard A. Eisenberg. 2016. Pattern Synonyms. https:\/\/www.microsoft.com\/en-us\/research\/publication\/pattern-synonyms\/"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/645435.652650"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017","author":"Serrano Alejandro","year":"2017","unstructured":"Alejandro Serrano and Jurriaan Hage . 2017 . Type Error Customization in GHC: Controlling expression-level type errors by type-level programming . In Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017 , Bristol, UK, August 30 - September 01, 2017. 2:1--2:15. Alejandro Serrano and Jurriaan Hage. 2017. Type Error Customization in GHC: Controlling expression-level type errors by type-level programming. In Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017, Bristol, UK, August 30 - September 01, 2017. 2:1--2:15."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/636517.636528"},{"key":"e_1_3_2_1_20_1","volume-title":"of the Ninth Workshop on Language Descriptions, Tools, and Applications.","author":"Sloane Anthony M.","year":"2009","unstructured":"Anthony M. Sloane , Lennart C. L. Kats , and Eelco Visser . 2009 . A Pure Object-Oriented Embedding of Attribute Grammars . In of the Ninth Workshop on Language Descriptions, Tools, and Applications. Anthony M. Sloane, Lennart C. L. Kats, and Eelco Visser. 2009. A Pure Object-Oriented Embedding of Attribute Grammars. In of the Ninth Workshop on Language Descriptions, Tools, and Applications."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"P.J. Stuckey M. Sulzmann and J. Wazny. 2003. Interactive Type Debugging in Haskell. P.J. Stuckey M. Sulzmann and J. Wazny. 2003. Interactive Type Debugging in Haskell.","DOI":"10.1145\/871895.871903"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017486"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190315.1190324"},{"key":"e_1_3_2_1_24_1","volume-title":"Saraiva","author":"Swierstra S. Doaitse","year":"1999","unstructured":"S. Doaitse Swierstra , Pablo R. Azero Alcocer , and Jo\u00e3o A . Saraiva . 1999 . Designing and Implementing Combinator Languages. In Advanced Functional Programming, Third International School, AFP'98 (LNCS , Vol. 1608), S. Doaitse Swierstra, Pedro Henriques, and Jos\u00e9 Oliveira (Eds.). Springer-Verlag, 150-- 206 . S. Doaitse Swierstra, Pablo R. Azero Alcocer, and Jo\u00e3o A. Saraiva. 1999. Designing and Implementing Combinator Languages. In Advanced Functional Programming, Third International School, AFP'98 (LNCS, Vol. 1608), S. Doaitse Swierstra, Pedro Henriques, and Jos\u00e9 Oliveira (Eds.). Springer-Verlag, 150--206."},{"key":"e_1_3_2_1_25_1","first-page":"1","article-title":"Silver: an Extensible Attribute Grammar System","volume":"75","author":"Wyk Eric Van","year":"2010","unstructured":"Eric Van Wyk , Derek Bodin , Jimin Gao , and Lijesh Krishnan . 2010 . Silver: an Extensible Attribute Grammar System . Science of Computer Programming 75 , 1 - 2 (January 2010), 39--54. Eric Van Wyk, Derek Bodin, Jimin Gao, and Lijesh Krishnan. 2010. Silver: an Extensible Attribute Grammar System. Science of Computer Programming 75, 1-2 (January 2010), 39--54.","journal-title":"Science of Computer Programming"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, IFL 2018","author":"Viera Marcos","year":"2018","unstructured":"Marcos Viera , Florent Balestrieri , and Alberto Pardo . 2018 . A Staged Embedding of Attribute Grammars in Haskell . In Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, IFL 2018 , Lowell, MA, USA , September 5-7, 2018. 95--106. Marcos Viera, Florent Balestrieri, and Alberto Pardo. 2018. A Staged Embedding of Attribute Grammars in Haskell. In Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, IFL 2018, Lowell, MA, USA, September 5-7, 2018. 95--106."},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming","author":"Viera Marcos","year":"2009","unstructured":"Marcos Viera , S. Doaitse Swierstra , and Wouter Swierstra . 2009 . Attribute Grammars Fly First-class: How to Do Aspect Oriented Programming in Haskell . In Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming ( Edinburgh, Scotland) (ICFP '09). ACM, New York, NY, USA, 245--256. Marcos Viera, S. Doaitse Swierstra, and Wouter Swierstra. 2009. Attribute Grammars Fly First-class: How to Do Aspect Oriented Programming in Haskell. In Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming (Edinburgh, Scotland) (ICFP '09). ACM, New York, NY, USA, 245--256."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"}],"event":{"name":"IFL '19: Implementation and Application of Functional Languages","acronym":"IFL '19","location":"Singapore Singapore"},"container-title":["Proceedings of the 31st Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412932.3412942","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T11:11:52Z","timestamp":1675768312000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412932.3412942"}},"subtitle":["dealing with DSL errors in type-level programming"],"short-title":[],"issued":{"date-parts":[[2019,9,25]]},"references-count":25,"alternative-id":["10.1145\/3412932.3412942","10.1145\/3412932"],"URL":"https:\/\/doi.org\/10.1145\/3412932.3412942","relation":{},"subject":[],"published":{"date-parts":[[2019,9,25]]},"assertion":[{"value":"2021-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}