000863372 000__ 02102cam\a2200493Ii\4500 000863372 001__ 863372 000863372 005__ 20230306145743.0 000863372 006__ m\\\\\o\\d\\\\\\\\ 000863372 007__ cr\cn\nnnunnun 000863372 008__ 190226s2019\\\\sz\a\\\\o\\\\\101\0\eng\d 000863372 020__ $$a9783030148058$$q(electronic book) 000863372 020__ $$a303014805X$$q(electronic book) 000863372 020__ $$z9783030148041 000863372 0247_ $$a10.1007/978-3-030-14805-8$$2doi 000863372 035__ $$aSP(OCoLC)on1088437494 000863372 035__ $$aSP(OCoLC)1088437494 000863372 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE 000863372 049__ $$aISEA 000863372 050_4 $$aQA76.62 000863372 08204 $$a005.1/1$$223 000863372 1112_ $$aInternational Symposium on Trends in Functional Programming$$n(17th :$$d2016 :$$cCollege Park, Md.) 000863372 24510 $$aTrends in functional programming :$$b17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised selected papers /$$cDavid Van Horn, John Hughes (eds.). 000863372 2463_ $$aTFP 2016 000863372 264_1 $$aCham, Switzerland :$$bSpringer,$$c2019. 000863372 300__ $$a1 online resource (ix, 193 pages) :$$billustrations. 000863372 336__ $$atext$$btxt$$2rdacontent 000863372 337__ $$acomputer$$bc$$2rdamedia 000863372 338__ $$aonline resource$$bcr$$2rdacarrier 000863372 4901_ $$aLecture notes in computer science ;$$v10447 000863372 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues 000863372 500__ $$aIncludes author index. 000863372 506__ $$aAccess limited to authorized users. 000863372 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed February 26, 2019). 000863372 650_0 $$aFunctional programming (Computer science)$$vCongresses. 000863372 650_0 $$aLogic design$$xComputer programs$$vCongresses. 000863372 650_0 $$aData structures (Computer science)$$vCongresses. 000863372 7001_ $$aVan Horn, David,$$eeditor. 000863372 7001_ $$aHughes, John,$$d1958-$$eeditor. 000863372 830_0 $$aLecture notes in computer science ;$$v10447. 000863372 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues. 000863372 852__ $$bebk 000863372 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-14805-8$$zOnline Access$$91397441.1 000863372 909CO $$ooai:library.usi.edu:863372$$pGLOBAL_SET 000863372 980__ $$aEBOOK 000863372 980__ $$aBIB 000863372 982__ $$aEbook 000863372 983__ $$aOnline 000863372 994__ $$a92$$bISE