| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910132332303321 |
|
|
Titolo |
al-Tawḥīd |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Tehran, Iran], : [Islamic Propagation Organization, International Relations Dept.], [1983?-] |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Islam |
Shīʻah |
Periodicals. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
"A quarterly journal of Islamic thought and culture." |
Title from cover. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910639887703321 |
|
|
Titolo |
Trends in Functional Programming : 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers / / edited by Wouter Swierstra, Nicolas Wu |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (200 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 13401 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Computer programming |
Computer systems |
Natural language processing (Computer science) |
Microprogramming |
Programming languages (Electronic computers) |
Programming Techniques |
Computer System Implementation |
Natural Language Processing (NLP) |
Control Structures and Microprogramming |
Programming Language |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Embedding generic monadic transformer into Scala (Project Paper) -- Towards a Language for Defining Reusable Programming Language Components (Project Paper) -- Deep Embedding with Class -- Understanding Algebraic Effect Handlers via Delimited Control Operators -- Reducing the Power Consumption of IoT with Task-Oriented Programming -- Semantic equivalence of task-oriented programs in TopHat -- Algorithm Design with the Selection Monad -- Sound and Complete Type Inference for Closed Effect Rows -- Towards Efficient Adjustment of Effect Rows. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes revised selected papers from the 23rd |
|
|
|
|
|
|
|
|
|
|
International Symposium on Trends in Functional Programming, TFP 2022, which was held virtually in March 2022. The 9 full papers presented in this volume were carefully reviewed and selected from 17 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in the area. |
|
|
|
|
|
| |