{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:16Z","timestamp":1725663016147},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540183174"},{"type":"electronic","value":"9783540478799"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18317-5_11","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:29:53Z","timestamp":1330198193000},"page":"174-193","source":"Crossref","is-referenced-by-count":0,"title":["The planar topology of functional programs"],"prefix":"10.1007","author":[{"given":"Martine","family":"Schlag","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"issue":"8","key":"11_CR1","first-page":"613","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J., \u201cCan Programming Be Liberated from the Von Neumann Style? A Functional Style and Its Algebra of Programs,\u201d CACM, Turing Award Lecture 21(8), pp.613\u2013641 (August 1978).","journal-title":"CACM, Turing Award Lecture"},{"key":"11_CR2","first-page":"646","volume":"7","author":"J. R. Edmonds","year":"1960","unstructured":"Edmonds, J. R., \u201cA combinatorial representation for polyhedral surfaces,\u201d American Mathematical Society Notices(7), p.646 (1960).","journal-title":"American Mathematical Society Notices"},{"doi-asserted-by":"crossref","unstructured":"Johannsen, D., \u201cBristle Blocks: A Silicon Compiler,\u201d pp. 310\u2013313 in Proceedings 16th Design Automation Conference, San Diego, California (June 1979).","key":"11_CR3","DOI":"10.1109\/DAC.1979.1600125"},{"doi-asserted-by":"crossref","unstructured":"Leiserson, C. E., \u201cArea-Efficient Graph Layouts (for VLSI),\u201d pp. 270\u2013281 in Proceedings 21st IEEE Symposium on Foundations of Computer Science (1980).","key":"11_CR4","DOI":"10.1109\/SFCS.1980.13"},{"doi-asserted-by":"crossref","unstructured":"Meshkinpour, F. and M. D. Ercegovac, \u201cA Functional Language for Description and Design of Digital Systems: Sequential Constructs,\u201d pp. 238\u2013244 in Proceedings of the 22nd Design Automation Conference (June 1985).","key":"11_CR5","DOI":"10.1109\/DAC.1985.1585947"},{"issue":"2","key":"11_CR6","doi-asserted-by":"crossref","first-page":"223","DOI":"10.2307\/1968867","volume":"43","author":"M. H. A. A. Newman","year":"1942","unstructured":"Newman, M. H. A., \u201cOn Theories with a Combinatorial Definition of \u2018Equivalence',\u201d Annals of Mathematics 43(2), pp.223\u2013243 (April 1942).","journal-title":"Annals of Mathematics"},{"issue":"4","key":"11_CR7","first-page":"34","volume":"II","author":"J. K. Ousterhout","year":"1981","unstructured":"Ousterhout, J. K., \u201cCaesar: An Interactive Editor for VLSI Layouts,\u201d VLSI Design II(4), pp.34\u201338 (fourth quarter 1981).","journal-title":"VLSI Design"},{"doi-asserted-by":"crossref","unstructured":"Ousterhout, J. K, G. T. Hamachi, R. N. Mayo, W. S. Scott, and G. S. Taylor, \u201cMagic: A VLSI Layout System,\u201d pp. 152\u2013159 in Proceedings of the 21st Design Automation Conference (June 1984).","key":"11_CR8","DOI":"10.1109\/DAC.1984.1585789"},{"doi-asserted-by":"crossref","unstructured":"Patel, D., M. Schlag, and M. Ercegovac, \u201cvFP: An Environment for the Multi-level Specification, Analysis, and Synthesis of Hardware Algorithms,\u201d pp. 238\u2013255 in Functional Programming Languages and Computer Architecture, ed. J.P. Jouannaud, Springer-Verlag Lecture Notes in Computer Science, Nancy, France (September 1985).","key":"11_CR9","DOI":"10.1007\/3-540-15975-4_40"},{"doi-asserted-by":"crossref","unstructured":"Rivest, R. L., \u201cThe \u2018PI\u2019 (Place and Interconnect) System,\u201d pp. 475\u2013481 in Proceedings 19th Design Automation Conference, Las Vegas, Nevada (June 1982).","key":"11_CR10","DOI":"10.1109\/DAC.1982.1585541"},{"key":"11_CR11","volume-title":"\u201cExtracting Geometry from FP for VLSI Layout,\u201d CSD-840043","author":"M. Schlag","year":"1984","unstructured":"Schlag, M., \u201cExtracting Geometry from FP for VLSI Layout,\u201d CSD-840043, University of California, Los Angeles, Los Angeles, California (October 1984)."},{"key":"11_CR12","series-title":"Available as Technical Report","volume-title":"Layout from a Topological Description","author":"M. Schlag","year":"1986","unstructured":"Schlag, Martine, \u201cLayout from a Topological Description,\u201d PhD Dissertation, Available as Technical Report CSD-860039, University of California, Los Angeles (July 1986)."},{"doi-asserted-by":"crossref","unstructured":"Sheeran, M., \u201cmuFP, a language for VLSI design,\u201d pp. 104\u2013112 in Proceedings ACM Symposium on LISP and Functional Programming (1984).","key":"11_CR13","DOI":"10.1145\/800055.802026"},{"unstructured":"Siskind, J. M., J. R. Southard, and K. W. Crouch, \u201cGenerating Custom High Performance VLSI Designs from Succinct Algorithms,\u201d MIT Conference on Advanced Research in VLSI, pp.28\u201340 (January 1982).","key":"11_CR14"},{"issue":"2","key":"11_CR15","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1109\/TC.1981.6312176","volume":"C-30","author":"L. G. Valiant","year":"1981","unstructured":"Valiant, L. G., \u201cUniversality Considerations in VLSI Circuits,\u201d IEEE Transactions on Computers C-30(2), pp.135\u2013140 (February 1981).","journal-title":"IEEE Transactions on Computers"},{"issue":"2","key":"11_CR16","first-page":"303","volume":"12","author":"J. W. T. T. Youngs","year":"1963","unstructured":"Youngs, J. W. T., \u201cMinimal Imbeddings and the Genus of a Graph,\u201d Journal of Mathematics and Mechanics 12(2), pp.303\u2013315 (March 1963).","journal-title":"Journal of Mathematics and Mechanics"}],"container-title":["Lecture Notes in Computer Science","Functional Programming Languages and Computer Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18317-5_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:14:35Z","timestamp":1605644075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18317-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540183174","9783540478799"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-18317-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}