LEADER 01129nam a22002411i 4500
001 991001249109707536
005 20030205162852.0
008 021204s1967    fr |||||||||||||||||fre  
035   $ab12120819-39ule_inst
035   $aARCHE-021061$9ExL
040   $aDip.to Filologia Ling. e Lett.$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.
100 1 $aBeaulieux, Charles$d<1872- >$0198415
245 10$aFormation de l'orthographe des origines au milieu du 16. siècle /$cCharles Beaulieux
260   $aParis :$bLibrairie Honoré Champion,$c1967
300   $a366 p. ;$c23 cm
440  0$aHistoire de l'orthographe française ;$v1
907   $a.b12120819$b02-04-14$c01-04-03
912   $a991001249109707536
945   $aLE008 FL.M. (f.r.) XIV 218$cV. 1$g1$i2008000500993$lle008$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i12432015$z01-04-03
945   $aLE008 FL.M. (f.r.) XIV 46/1$g2$i2008000419202$lle008$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i12432027$z01-04-03
996   $aFormation de l'orthographe des origines au milieu du 16. siècle$9150896
997   $aUNISALENTO
998   $ale008$b01-04-03$cm$da  $e-$ffre$gfr $h0$i2

LEADER 03374nam  22007215  450 
001 9910337836703321
005 20251225193645.0
010   $a3-030-18506-0
024 7 $a10.1007/978-3-030-18506-0
035   $a(CKB)4100000007992590
035   $a(DE-He213)978-3-030-18506-0
035   $a(MiAaPQ)EBC5917810
035   $a(PPN)235668648
035   $a(EXLCZ)994100000007992590
100   $a20190423d2019      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTrends in Functional Programming $e19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11?13, 2018, Revised Selected Papers /$fedited by Micha? Pa?ka, Magnus Myreen
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (VII, 157 p. 862 illus., 16 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11457
300   $aIncludes Index.
311 08$a3-030-18505-2 
327   $aColocation of Potential Parallelism in a Distributed Adaptive Run-time System for Parallel Haskell -- Reversible Session-Based Concurrency in Haskell -- Intrinsic Currying for C++ Template Metaprograms -- Towards Optic-Based Algebraic Theories: The Case of Lenses -- Saint: an API-generic Type-safe Interpreter -- Improving Haskell -- High-Performance Defunctionalisation in Futhark. .
330   $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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11457
606   $aComputer programming
606   $aCompilers (Computer programs)
606   $aOperating systems (Computers)
606   $aLogic design
606   $aMicroprocessors
606   $aComputer architecture
606   $aProgramming Techniques
606   $aCompilers and Interpreters
606   $aOperating Systems
606   $aLogic Design
606   $aProcessor Architectures
615  0$aComputer programming.
615  0$aCompilers (Computer programs).
615  0$aOperating systems (Computers).
615  0$aLogic design.
615  0$aMicroprocessors.
615  0$aComputer architecture.
615 14$aProgramming Techniques.
615 24$aCompilers and Interpreters.
615 24$aOperating Systems.
615 24$aLogic Design.
615 24$aProcessor Architectures.
676   $a005.11
676   $a005.11
702   $aPa?ka$b Micha?$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMyreen$b Magnus$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910337836703321
996   $aTrends in Functional Programming$91947569
997   $aUNINA