Search

Your search keyword '"Sannella A"' showing total 1,734 results
Start Over Author "Sannella A"
1,734 results on '"Sannella A"'

4. Dizionario di sociologia per la persona

Author

Ricucci, Roberta and Sannella, Alessandra

Subjects
Dictionary, Individual, Sociology, Concepts, Research, Epistemology, Sociology
Abstract

Questo secondo volume del Dizionario di sociologia per la persona continua l’opera collettiva dedicata alla comprensione di categorie e concetti sociologici e fenomeni sociali secondo la prospettiva specifica di chi intende mettere la persona al centro dell’analisi scientifica e dei mutamenti che attraversano la società. Oltre sessanta studiose e studiosi hanno contribuito alla realizzazione dei lemmi qui raccolti, condividendo lo spirito del primo volume: rappresentare uno strumento di riflessione, discussione e confronto utile, sia a chi è già esperto, sia a chi si avvicina alla sociologia e vuole cogliere l’opportunità di approfondire contenuti che animano il dibattito pubblico. Il testo, infatti, vuole essere una occasione di dialogo tra autrici e autori, che assumono le prospettive disciplinari eterogenee e condividono la tensione alla ricerca di stimoli e fruttuosi scambi sull’attualità. In questi scenari è centrale la relazione fra la persona e il mondo sociale, trasformato da crisi e opportunità, processi di innovazione, tentativi di resistenza, nelle dinamiche locali e internazionali.

Published
2024

5. Fair Value Measurement in Inactive Crypto Asset Markets.

Author

Beigman, Eyal, Brennan, Gerard, Hsieh, Sheng-Feng, and Sannella, Alexander J.

Subjects
PRICES, ILLIQUID assets, VALUE (Economics), FAIR value, CRYPTOCURRENCY exchanges
Abstract

This article proposes a new dynamic method, the Principal Path Method (PPM), for pricing crypto asset against a primary or functional (fiat) currency in situations where these assets do not trade directly against the functional currency or trade at volumes that prevent resulting pricing information to qualify as Level 1 (ASC 820) for financial reporting. We base our method on the guidance provided in ASC 820, IFRS 13, and IAS 21. Our method is designed to extract prices from "compliant" markets that result in reliable inputs to the valuation process. We believe that our methodology improves the current techniques used to value thinly traded crypto assets such as using the last observable transaction price, creating a weighted-average price across multiple markets, or using data on comparable tokens, if available. Furthermore, we present empirical evidence that suggests pricing information generated by our method for non-exchangeable, thinly traded, or illiquid crypto assets better reflects the fundamental qualitative characteristics of useful information, relevance and faithful representation, and results in more reliable inputs used in the valuation process. Unlike methods currently used in practice, our method ensures the integrity of the valuation data employed by selecting prices from compliant markets. [ABSTRACT FROM AUTHOR]

Published
2025
Full Text
View/download PDF

6. First molecular investigation of Cryptosporidium spp. in young calves in Algeria

Author

Benhouda Djahida, Hakem Ahcène, Sannella Anna Rosa, Benhouda Afaf, and Cacciò Simone M.

Subjects
Cryptosporidium, Cryptosporidiosis, Molecular characterization, Cattle, Algeria, Infectious and parasitic diseases, RC109-216
Abstract

To date, no information is available on the prevalence and genetic identity of Cryptosporidium spp. in cattle in Algeria. In this study, 17 dairy farms in the province of Batna, located in the northeast of the country, were visited to collect 132 fecal samples from young calves (

Published
2017
Full Text
View/download PDF

10. Specific tagging of the egress-related osmiophilic bodies in the gametocytes of Plasmodium falciparum

Author

Sannella Anna, Olivieri Anna, Bertuccini Lucia, Ferrè Fabrizio, Severini Carlo, Pace Tomasino, and Alano Pietro

Subjects
Malaria, Plasmodium falciparum, pfg377, Female gametocyte, Osmiophilic body, Subcellular localization, Gamete egress, Trafficking, Arctic medicine. Tropical medicine, RC955-962, Infectious and parasitic diseases, RC109-216
Abstract

Abstract Background Gametocytes, the blood stages responsible for Plasmodium falciparum transmission, contain electron dense organelles, traditionally named osmiophilic bodies, that are believed to be involved in gamete egress from the host cell. In order to provide novel tools in the cellular and molecular studies of osmiophilic body biology, a P. falciparum transgenic line in which these organelles are specifically marked by a reporter protein was produced and characterized. Methodology A P. falciparum transgenic line expressing an 80-residue N-terminal fragment of the osmiophilic body protein Pfg377 fused to the reporter protein DsRed, under the control of pfg377 upstream and downstream regulatory regions, was produced. Results The transgenic fusion protein is expressed at the appropriate time and stage of sexual differentiation and is trafficked to osmiophilic bodies as the endogenous Pfg377 protein. These results indicate that a relatively small N-terminal portion of Pfg377 is sufficient to target the DsRed reporter to the gametocyte osmiophilic bodies. Conclusions This is the first identification of a P. falciparum aminoacid sequence able to mediate trafficking to such organelles. To fluorescently tag such poorly characterized organelles opens novel avenues in cellular and imaging studies on their biogenesis and on their role in gamete egress.

Published
2012
Full Text
View/download PDF

11. A Key to Your Heart: Biometric Authentication Based on ECG Signals

Author

Samarin, Nikita and Sannella, Donald

Subjects
Computer Science - Cryptography and Security, Electrical Engineering and Systems Science - Systems and Control
Abstract

In recent years, there has been a shift of interest towards the field of biometric authentication, which proves the identity of the user using their biological characteristics. We explore a novel biometric based on the electrical activity of the human heart in the form of electrocardiogram (ECG) signals. In order to explore the stability of ECG as a biometric, we collect data from 55 participants over two sessions with a period of 4 months in between. We also use a consumer-grade ECG monitor that is more affordable and usable than a medical-grade counterpart. Using a standard approach to evaluate our classifier, we obtain error rates of 2.4% for data collected within one session and 9.7% for data collected across two sessions. The experimental results suggest that ECG signals collected using a consumer-grade monitor can be successfully used for user authentication., Comment: Appears in the "Who Are You?! Adventures in Authentication" workshop (WAY 2019) co-located with the Symposium on Usable Privacy and Security (SOUPS)

Published
2019

14. An algorithmic approach to perverse derived equivalences: Brou\'e's Conjecture for $\Omega^{+}_8(2)$

Author

Sannella, Stefano

Subjects
Mathematics - Representation Theory, Mathematics - Group Theory
Abstract

Following Craven and Rouquier's computational method to tackle Brou\'e's abelian defect group conjecture, we present two algorithms implementing that procedure in the case of principal blocks of defect $D \cong C_{\ell} \times C_{\ell}$ for a prime $\ell$; the first describes a stable equivalence between $B_0(G)$ and $B_0(N_G(D))$, and the second tries to lift a such stable equivalence to a perverse derived equivalence. As an application, we show that Brou\'e's conjecture holds for the principal $5$-block of the simple group $\Omega^{+}_8(2)$., Comment: Updated version, with minor corrections

Published
2018

16. Features and Predicates

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

17. More Patterns of Reasoning

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

18. Testing Your Programs

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

19. Simple Computations

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

20. Lists and Comprehensions

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

21. Patterns of Reasoning

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

22. Non-Regular Languages

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

23. Venn Diagrams and Logical Connectives

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

24. Non-deterministic Finite Automata

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

25. Regular Expressions

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

26. Types

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

27. Deterministic Finite Automata

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

28. Input/Output and Monads

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

29. Sets

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

30. Combinatorial Algorithms

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

31. Search in Trees

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

32. Efficient CNF Conversion

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

33. Checking Satisfiability

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

34. Lists and Recursion

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

35. Counting Satisfying Valuations

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

36. Type Classes

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

37. Finite Automata

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

38. Data Abstraction

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

39. Data Representation

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

40. Karnaugh Maps

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

41. Higher and Higher

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

42. Higher-Order Functions

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

43. Relations and Quantifiers

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

44. Expression Trees

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

45. Algebraic Data Types

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

46. More Fun with Recursion

Author

Sannella, Donald, Fourman, Michael, Peng, Haoran, Wadler, Philip, Mackie, Ian, Series Editor, Abramsky, Samson, Advisory Editor, Hankin, Chris, Advisory Editor, Hinchey, Mike, Advisory Editor, Kozen, Dexter C., Advisory Editor, Pitts, Andrew, Advisory Editor, Riis Nielson, Hanne, Advisory Editor, Skiena, Steven S., Advisory Editor, Stewart, Iain, Advisory Editor, Sannella, Donald, Fourman, Michael, Peng, Haoran, and Wadler, Philip

Published
2021
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results