| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910459402903321 |
|
|
Autore |
Horvath Zoltan |
|
|
Titolo |
Trends in Functional Programming 10 [[electronic resource]] |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bristol, : Intellect, 2010 |
|
|
|
|
|
|
|
ISBN |
|
1-283-60999-1 |
9786613922441 |
1-84150-442-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (189 p.) |
|
|
|
|
|
|
Collana |
|
Trends in Functional Programming Series ; ; v.v. 10 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Functional programming (Computer science) -- Congresses |
Engineering & Applied Sciences |
Computer Science |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di contenuto |
|
Front Cover; Preliminary Pages; Contents; Graph-based Communication in Eden; Compiling Concurrency Correctly: Cutting Out the Middle Man; Towards compiling SAC to CUDA; Low Pain vs No Pain Multi-core Haskells; An Operational Semantics for Distributed Lazy Evaluation; On Graph Rewriting, Reduction and Evaluation; A Reflection-based Proof Tactic for Lattices in Coq; Generic Programming for Domain Reasoners; Haskell Module Tools for Liberating Type Class Design; Signals, Not Generators!; Braincurry: A Domain-Specific Language for Integrative Neuroscience; Author Index; Back Cover |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Volume 10 in the Trends in Functional Programming (TFP) series presents some of the latest research results in the implementation of functional programming languages and the practice of functional programming. It contains a peer-reviewed selection of the best articles presented at the 2009 Tenth Symposium on Trends in Functional Programming held in Komárno, Slovakia. TFP 2009 was co-located with the Third Central European Functional Programming School (CEFP 2009) and organized by the Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Budapest a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910695955303321 |
|
|
Autore |
Ji Zhen-Gang |
|
|
Titolo |
Oil-spill risk analysis [[electronic resource] ] : Gulf of Mexico outer continental shelf (OCS) lease sales, central planning area and western planning area, 2007-2012, and gulfwide OCS program, 2007-2046 / / by Zhen-Gang Ji, Walter R. Johnson, Charles F. Marshall ; Eileen M. Lear (editor) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Herndon, Va.] : , : U.S. Dept. of the Interior, Minerals Management Service, Environmental Division, , [2007] |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
vi, 59 pages : digital, PDF file |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Altri autori (Persone) |
|
JohnsonWalter Robertson <1950-> |
MarshallCharles F |
LearEileen M |
|
|
|
|
|
|
|
|
Soggetti |
|
Oil spills - Risk assessment - Mexico, Gulf of |
Oil spills - Environmental aspects - Mexico, Gulf of |
Offshore oil industry - Environmental aspects - America, Gulf of |
Marine pollution - Mexico, Gulf of |
Drilling platforms - Environmental aspects - Mexico, Gulf of |
Offshore oil well drilling - Environmental aspects - Mexico, Gulf of |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from title screen (viewed on July 26, 2007). |
"June 2007." |
|
|
|
|
|
|
|
| |