{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:42:10Z","timestamp":1770277330751,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642548321","type":"print"},{"value":"9783642548338","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54833-8_3","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T09:37:17Z","timestamp":1395394637000},"page":"27-46","source":"Crossref","is-referenced-by-count":21,"title":["An Array-Oriented Language with Static Rank Polymorphism"],"prefix":"10.1007","author":[{"given":"Justin","family":"Slepak","sequence":"first","affiliation":[]},{"given":"Olin","family":"Shivers","sequence":"additional","affiliation":[]},{"given":"Panagiotis","family":"Manolios","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"8","key":"3_CR1","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J.: Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs. Commun. ACM\u00a021(8), 613\u2013641 (1978)","journal-title":"Commun. ACM"},{"key":"3_CR2","unstructured":"Blelloch, G.: NESL: A nested data-parallel language (version 3.1). Tech. rep. (1995)"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1006\/jpdc.1994.1038","volume":"21","author":"G. Blelloch","year":"1994","unstructured":"Blelloch, G., Chatterjee, S., Hardwick, J.C., Sipelstein, J., Zagha, M.: Implementation of a portable nested data-parallel language. Journal of Parallel and Distributed Computing\u00a021, 102\u2013111 (1994)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"3_CR4","unstructured":"Brooks, F.P.: The Design of Design: Essays from a Computer Scientist. Addison-Wesley (2010)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Chakravarty, M.M.T., Leshchinskiy, R., Peyton Jones, S., Keller, G., Marlow, S.: Data parallel haskell: a status report. In: DAMP 2007: Workshop on Declarative Aspects of Multicore Programming, ACM Press (2007)","DOI":"10.1145\/1248648.1248652"},{"key":"3_CR6","unstructured":"Felleisen, M., Findler, R.B., Flatt, M.: Semantics Engineering with PLT Redex, 1st edn. MIT Press (2009)"},{"key":"3_CR7","unstructured":"Iverson, K.E.: A programming language. John Wiley & Sons, Inc., New York (1962)"},{"key":"3_CR8","unstructured":"Jay, C.B.: The fish language definition. Tech. rep. (1998)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/3-540-57880-3_20","volume-title":"Programming Languages and Systems - ESOP \u201994","author":"C.B. Jay","year":"1994","unstructured":"Jay, C.B., Cockett, J.: Shapely types and shape polymorphism. In: Sannella, D. (ed.) ESOP 1994. LNCS, vol.\u00a0788, pp. 302\u2013316. Springer, Heidelberg (1994)"},{"key":"3_CR10","unstructured":"Jsoftware, Inc.: Jsoftware: High-performance development platform, http:\/\/www.jsoftware.com\/"},{"key":"3_CR11","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1145\/1863543.1863582","volume-title":"Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010","author":"G. Keller","year":"2010","unstructured":"Keller, G., Chakravarty, M.M., Leshchinskiy, R., Peyton Jones, S., Lippmeier, B.: Regular, shape-polymorphic, parallel arrays in haskell. In: Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010, pp. 261\u2013272. ACM, New York (2010)"},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1145\/357073.357079","volume":"1","author":"G. Nelson","year":"1979","unstructured":"Nelson, G., Oppen, D.C.: Simplification by cooperating decision procedures. ACM Trans. Program. Lang. Syst.\u00a01(2), 245\u2013257 (1979)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S., Leshchinskiy, R., Keller, G., Chakravarty, M.M.: Harnessing the multicores: Nested data parallelism in haskell. In: FSTTCS, vol.\u00a02, pp. 383\u2013414 (2008)","DOI":"10.1007\/978-3-540-89330-1_10"},{"issue":"4","key":"3_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2185520.2185528","volume":"31","author":"J. Ragan-Kelley","year":"2012","unstructured":"Ragan-Kelley, J., Adams, A., Paris, S., Levoy, M., Amarasinghe, S., Durand, F.: Decoupling algorithms from schedules for easy optimization of image processing pipelines. ACM Trans. Graph.\u00a031(4), 32:1\u201332:12 (2012)","journal-title":"ACM Trans. Graph."},{"issue":"6","key":"3_CR15","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1017\/S0956796802004458","volume":"13","author":"S.B. Scholz","year":"2003","unstructured":"Scholz, S.B.: Single assignment c: efficient support for high-level array operations in a functional setting. J. Funct. Program.\u00a013(6), 1005\u20131059 (2003)","journal-title":"J. Funct. Program."},{"issue":"1-3","key":"3_CR16","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0167-6423(91)90040-5","volume":"17","author":"S. Thatte","year":"1991","unstructured":"Thatte, S.: A type system for implicit scaling. Sci. Comput. Program.\u00a017(1-3), 217\u2013245 (1991), http:\/\/dx.doi.org\/10.1016\/0167-64239190040-5","journal-title":"Sci. Comput. Program."},{"issue":"7","key":"3_CR17","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1016\/j.jlap.2009.03.002","volume":"78","author":"K. Trojahner","year":"2009","unstructured":"Trojahner, K., Grelck, C.: Dependently typed array programs don\u2019t go wrong. Journal of Logic and Algebraic Programming\u00a078(7), 643\u2013664 (2009)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"3_CR18","unstructured":"Xi, H.: Dependent types in practical programming. Ph.D. thesis, Pittsburgh, PA, USA (1998) aAI9918624"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1145\/277650.277732","volume-title":"Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation, PLDI 1998","author":"H. Xi","year":"1998","unstructured":"Xi, H., Pfenning, F.: Eliminating array bound checking through dependent types. In: Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation, PLDI 1998, pp. 249\u2013257. ACM, New York (1998)"},{"key":"3_CR20","unstructured":"Zima, H., Chapman, B.: Supercompilers for Parallel and Vector Computers. ACM Press (1990)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54833-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T18:24:41Z","timestamp":1648664681000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54833-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548321","9783642548338"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54833-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}