000929608 000__ 03964cam\a2200565Ii\4500
000929608 001__ 929608
000929608 005__ 20230306151339.0
000929608 006__ m\\\\\o\\d\\\\\\\\
000929608 007__ cr\un\nnnunnun
000929608 008__ 190503s2019\\\\sz\\\\\\ob\\\\100\0\eng\d
000929608 019__ $$a1115070700$$a1122907496$$a1125764769$$a1126160027$$a1136474007
000929608 020__ $$a9783030185060$$q(electronic book)
000929608 020__ $$a3030185060$$q(electronic book)
000929608 020__ $$z9783030185077
000929608 020__ $$z3030185079
000929608 020__ $$z3030185052
000929608 020__ $$z9783030185053
000929608 0247_ $$a10.1007/978-3-030-18506-0$$2doi
000929608 035__ $$aSP(OCoLC)on1124320310
000929608 035__ $$aSP(OCoLC)1124320310$$z(OCoLC)1115070700$$z(OCoLC)1122907496$$z(OCoLC)1125764769$$z(OCoLC)1126160027$$z(OCoLC)1136474007
000929608 040__ $$aSNK$$beng$$erda$$epn$$cSNK$$dOCLCO$$dVT2$$dOCLCF$$dUX1$$dEBLCP$$dOCLCQ$$dGW5XE$$dOCLCQ
000929608 049__ $$aISEA
000929608 050_4 $$aQA76.62$$b.I58 2018
000929608 08204 $$a005.1/1$$223
000929608 1112_ $$aInternational Symposium on Trends in Functional Programming$$n(19th :$$d2018 :$$cGothenburg, Sweden)
000929608 24510 $$aTrends in functional programming :$$b19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised selected papers /$$cMichał Pałka, Magnus Myreen (Eds.).
000929608 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2019]
000929608 300__ $$a1 online resource
000929608 336__ $$atext$$btxt$$2rdacontent
000929608 337__ $$acomputer$$bc$$2rdamedia
000929608 338__ $$aonline resource$$bcr$$2rdacarrier
000929608 347__ $$atext file$$bPDF$$2rda
000929608 4901_ $$aLecture notes in computer science ;$$v11457
000929608 4901_ $$aLNCS sublibrary. SL 1 -- Theoretical computer science and general issues
000929608 504__ $$aIncludes bibliographical references and author index.
000929608 50500 $$g1.$$tColocation of potential parallelism in a distributed adaptive run-time system for parallel Haskell /$$rEvgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson --$$g2.$$tReversible session-based concurrency in Haskell /$$rFolkert de Vries, Jorge A. Pérez --$$g3.$$tIntrinsic currying for C++ template metaprograms /$$rPaul Keir, Andrew Gozillon, Seyed Hossein Haeri --$$g4.$$tTowards optic-based algebraic theories : the case of lenses /$$rJ. López-González, Juan M. Serrano --$$g5.$$tSaint : an API-generic type-safe interpreter /$$rMaximilian Algehed, Patrick Jansson, Sólrún Halla Einarsdóttir, Alex Gerdes --$$g6.$$tImproving Haskell /$$rMartin A.T. Handley, Graham Hutton --$$g7.$$tHigh-performance defunctionalisation in Futhark /$$rAnders Kiel Hovgaard, Troels Henriksen, Martin Elsman.
000929608 506__ $$aAccess limited to authorized users.
000929608 520__ $$aThis book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium. --$$cProvided by publisher.
000929608 650_0 $$aFunctional programming (Computer science)$$vCongresses.
000929608 650_0 $$aLogic design$$xComputer programs$$vCongresses.
000929608 650_0 $$aData structures (Computer science)$$vCongresses.
000929608 7001_ $$aPałka, Michal H.,$$eeditor.
000929608 7001_ $$aMyreen, Magnus O.,$$eeditor.
000929608 77608 $$iPrint version:$$aInternational Symposium on Trends in Functional Programming (19th : 2018 : Gothenburg, Sweden).$$tTrends in functional programming.$$dCham, Switzerland : Springer, [2019]$$z3030185052$$z9783030185053$$w(OCoLC)1090474545
000929608 830_0 $$aLecture notes in computer science ;$$v11457.
000929608 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000929608 852__ $$bebk
000929608 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-18506-0$$zOnline Access$$91397441.1
000929608 909CO $$ooai:library.usi.edu:929608$$pGLOBAL_SET
000929608 980__ $$aEBOOK
000929608 980__ $$aBIB
000929608 982__ $$aEbook
000929608 983__ $$aOnline
000929608 994__ $$a92$$bISE