{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:01:47Z","timestamp":1725804107830},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319118628"},{"type":"electronic","value":"9783319118635"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11863-5_2","type":"book-chapter","created":{"date-parts":[[2014,8,28]],"date-time":"2014-08-28T04:43:41Z","timestamp":1409201021000},"page":"16-30","source":"Crossref","is-referenced-by-count":2,"title":["A Security Types Preserving Compiler in Haskell"],"prefix":"10.1007","author":[{"given":"Cecilia","family":"Manzino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Pardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1017\/S0956796804005453","volume":"15","author":"A. Banerjee","year":"2005","unstructured":"Banerjee, A., Naumann, D.A.: Stack-based access control and secure information flow. J. Funct. Program.\u00a015(2), 131\u2013177 (2005)","journal-title":"J. Funct. Program."},{"issue":"2","key":"2_CR2","first-page":"35","volume":"33","author":"G. Barthe","year":"2007","unstructured":"Barthe, G., Rezk, T., Basu, A.: Security types preserving compilation. Comput. Lang. Syst. Struct.\u00a033(2), 35\u201359 (2007)","journal-title":"Comput. Lang. Syst. Struct."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Barthe, G., Rezk, T., Naumann, D.A.: Deriving an information flow checker and certifying compiler for java. In: IEEE Symposium on Security and Privacy, pp. 230\u2013242. IEEE Computer Society (2006)","DOI":"10.1109\/SP.2006.13"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bell, D.E., LaPadula, L.J.: Secure computer systems: Unified exposition and Multics interpretation. Technical Report MTR-2997, The MITRE Corp. (1975)","DOI":"10.21236\/ADA023588"},{"issue":"6","key":"2_CR5","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/1273442.1250742","volume":"42","author":"A. Chlipala","year":"2007","unstructured":"Chlipala, A.: A certified type-preserving compiler from lambda calculus to assembly language. SIGPLAN Not.\u00a042(6), 54\u201365 (2007)","journal-title":"SIGPLAN Not."},{"issue":"5","key":"2_CR6","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"D.E. Denning","year":"1976","unstructured":"Denning, D.E.: A lattice model of secure information flow. Commun. ACM\u00a019(5), 236\u2013243 (1976)","journal-title":"Commun. ACM"},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1145\/2364506.2364522","volume-title":"Proceedings of the 2012 Haskell Symposium, Haskell 2012","author":"R.A. Eisenberg","year":"2012","unstructured":"Eisenberg, R.A., Weirich, S.: Dependently typed programming with singletons. In: Proceedings of the 2012 Haskell Symposium, Haskell 2012, pp. 117\u2013130. ACM, New York (2012)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: Symposium on Security and Privacy, pp. 11\u201320. IEEE Computer Society Press (1982)","DOI":"10.1109\/SP.1982.10014"},{"issue":"9","key":"2_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/1411203.1411218","volume":"43","author":"L.-J. Guillemette","year":"2008","unstructured":"Guillemette, L.-J., Monnier, S.: A type-preserving compiler in haskell. SIGPLAN Not.\u00a043(9), 75\u201386 (2008)","journal-title":"SIGPLAN Not."},{"issue":"4","key":"2_CR10","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s10817-009-9155-4","volume":"43","author":"X. Leroy","year":"2009","unstructured":"Leroy, X.: A formally verified compiler back-end. J. Autom. Reason.\u00a043(4), 363\u2013446 (2009)","journal-title":"J. Autom. Reason."},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/2503778.2503786","volume-title":"Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Haskell 2013","author":"S. Lindley","year":"2013","unstructured":"Lindley, S., McBride, C.: Hasochism: The Pleasure and Pain of Dependently Typed Haskell Programming. In: Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Haskell 2013, pp. 81\u201392. ACM, New York (2013)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/11560586_29","volume-title":"Theoretical Computer Science","author":"R. Medel","year":"2005","unstructured":"Medel, R., Compagnoni, A.B., Bonelli, E.: A typed assembly language for non-interference. In: Coppo, M., Lodi, E., Pinna, G.M. (eds.) ICTCS 2005. LNCS, vol.\u00a03701, pp. 360\u2013374. Springer, Heidelberg (2005)"},{"key":"2_CR13","unstructured":"Nielson, H.R., Nielson, F.: Semantics with Applications: A Formal Introduction. John Wiley & Sons, Inc., New York (1992)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-04652-0_5","volume-title":"Advanced Functional Programming","author":"U. Norell","year":"2009","unstructured":"Norell, U.: Dependently typed programming in agda. In: Koopman, P., Plasmeijer, R., Swierstra, D. (eds.) AFP 2008. LNCS, vol.\u00a05832, pp. 230\u2013266. Springer, Heidelberg (2009)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Jones, S.P., Vytiniotis, D., Weirich, S., Washburn, G.: Simple Unification-based Type Inference for GADTs. In: 11th International Conference on Functional Programming, pp. 50\u201361. ACM (2006)","DOI":"10.1145\/1160074.1159811"},{"key":"2_CR16","unstructured":"Saabas, A., Uustalu, T.: Compositional type systems for stack-based low-level languages. In: Proceedings of the 12th Computing: The Australasian Theroy Symposium, CATS 2006, vol.\u00a051, pp. 27\u201339. Australian Computer Society, Inc., Darlinghurst (2006)"},{"issue":"1","key":"2_CR17","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE J. Selected Areas in Communications\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE J. Selected Areas in Communications"},{"issue":"9","key":"2_CR18","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/1411203.1411215","volume":"43","author":"T. Schrijvers","year":"2008","unstructured":"Schrijvers, T., Jones, S.P., Chakravarty, M., Sulzmann, M.: Type checking with open type functions. SIGPLAN Not.\u00a043(9), 51\u201362 (2008)","journal-title":"SIGPLAN Not."},{"issue":"12","key":"2_CR19","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1145\/1052883.1052897","volume":"39","author":"T. Sheard","year":"2004","unstructured":"Sheard, T.: Languages of the future. SIGPLAN Not.\u00a039(12), 119\u2013132 (2004)","journal-title":"SIGPLAN Not."},{"issue":"2-3","key":"2_CR20","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"D. Volpano","year":"1996","unstructured":"Volpano, D., Irvine, C., Smith, G.: A sound type system for secure flow analysis. J. Comput. Secur.\u00a04(2-3), 167\u2013187 (1996)","journal-title":"J. Comput. Secur."}],"container-title":["Lecture Notes in Computer Science","Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11863-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,15]],"date-time":"2022-04-15T19:24:10Z","timestamp":1650050650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11863-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319118628","9783319118635"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11863-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}