Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Anonymous function"'
Publikováno v:
Data Science: Journal of Computing and Applied Informatics. 5:39-48
The value of π is one of the famous mathematical constant, not only to mathematicians, but also to physicists and to engineers. Numerous algorithm is used to compute what is the value of π, but most of programmer do not use lambda function and negl
Publikováno v:
Sensors, Vol 19, Iss 14, p 3146 (2019)
In the age of the Internet of Things, connected devices are changing the delivery system in the healthcare communication environment. With the integration of IoT in healthcare, there is a huge potential for improvement of the quality, safety, and eff
Externí odkaz:
https://doaj.org/article/0d6c00aaa546457380cf6f57d96473d9
Autor:
Gustedt, Jens
Publikováno v:
[Technical Report] N2890, ISO JCT1/SC22/WG14. 2022, pp.82
C already has a variaty of interfaces for type-generic programming, but lacks a systematic approach thatprovides type safety, strong ecapsulation and general usability. This paper is a summary paper for a seriesthat provides improvements throughN2735
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1398::92f0066e052f4cb4ba92e27f0ebe4dca
https://hal.inria.fr/hal-03106758v3/file/n2890.pdf
https://hal.inria.fr/hal-03106758v3/file/n2890.pdf
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-28
The expression problem describes a fundamental trade-off in program design: Should a program's primary decomposition be determined by the way its domain objects are constructed ("functional" decomposition), or by the way they are destructed ("object-
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bentkamp, Alexander, Blanchette, Jasmin, Tourret, Sophie, Vukmirović, Petar, Waldmann, Uwe, Fontaine, Pascal
Publikováno v:
Journal of Automated Reasoning, 65(7), 893-940. Springer Netherlands
Bentkamp, A, Blanchette, J, Tourret, S, Vukmirović, P & Waldmann, U 2019, Superposition with lambdas . in P Fontaine (ed.), Automated Deduction – CADE 2019 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11716 LNAI, Springer, pp. 55-73, 27th International Conference on Automated Deduction, CADE 2019, Natal, Brazil, 27/08/19 . https://doi.org/10.1007/978-3-030-29436-6_4
Lecture Notes in Computer Science ISBN: 9783030294359
CADE
Automated Deduction – CADE 27-27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Journal of Automated Reasoning
Journal of Automated Reasoning, Springer Verlag, 2021, 65 (7), pp.893-940. ⟨10.1007/s10817-021-09595-y⟩
Bentkamp, A, Blanchette, J, Tourret, S, Vukmirović, P & Waldmann, U 2021, ' Superposition with Lambdas ', Journal of Automated Reasoning, vol. 65, no. 7, pp. 893-940 . https://doi.org/10.1007/s10817-021-09595-y
CADE-27-The 27th International Conference on Automated Deduction
CADE-27-The 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. pp.55-73, ⟨10.1007/978-3-030-29436-6_4⟩
Automated Deduction – CADE 2019: 27th International Conference on Automated Deduction, Proceedings, 55-73
STARTPAGE=55;ENDPAGE=73;TITLE=Automated Deduction – CADE 2019
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Automated Deduction – CADE 27
Journal of Automated Reasoning, 2021, 65 (7), pp.893-940. ⟨10.1007/s10817-021-09595-y⟩
Bentkamp, A, Blanchette, J, Tourret, S, Vukmirović, P & Waldmann, U 2019, Superposition with lambdas . in P Fontaine (ed.), Automated Deduction – CADE 2019 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11716 LNAI, Springer, pp. 55-73, 27th International Conference on Automated Deduction, CADE 2019, Natal, Brazil, 27/08/19 . https://doi.org/10.1007/978-3-030-29436-6_4
Lecture Notes in Computer Science ISBN: 9783030294359
CADE
Automated Deduction – CADE 27-27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Journal of Automated Reasoning
Journal of Automated Reasoning, Springer Verlag, 2021, 65 (7), pp.893-940. ⟨10.1007/s10817-021-09595-y⟩
Bentkamp, A, Blanchette, J, Tourret, S, Vukmirović, P & Waldmann, U 2021, ' Superposition with Lambdas ', Journal of Automated Reasoning, vol. 65, no. 7, pp. 893-940 . https://doi.org/10.1007/s10817-021-09595-y
CADE-27-The 27th International Conference on Automated Deduction
CADE-27-The 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. pp.55-73, ⟨10.1007/978-3-030-29436-6_4⟩
Automated Deduction – CADE 2019: 27th International Conference on Automated Deduction, Proceedings, 55-73
STARTPAGE=55;ENDPAGE=73;TITLE=Automated Deduction – CADE 2019
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Automated Deduction – CADE 27
Journal of Automated Reasoning, 2021, 65 (7), pp.893-940. ⟨10.1007/s10817-021-09595-y⟩
We designed a superposition calculus for a clausal fragment of extensional polymorphic higher-order logic that includes anonymous functions but excludes Booleans. The inference rules work on $$\beta \eta $$ β η -equivalence classes of $$\lambda $$
Autor:
Gustedt, Jens
Publikováno v:
[Technical Report] N2638, ISO JCT1/SC22/WG14. 2021, pp.54
C already has a variaty of interfaces for type-generic programming, but lacks a systematic approach thatprovides type safety, strong ecapsulation and general usability. This paper is a summary paper for a seriesthat provides improvements throughN2632
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::cef987eb9ccb7114af9cb9fc0fe68af6
https://hal.inria.fr/hal-03106758/file/N2638.pdf
https://hal.inria.fr/hal-03106758/file/N2638.pdf
Autor:
A. Eashaan Rao, Sridhar Chimalakonda
Publikováno v:
EASE
Lambda expressions are anonymous functions in Python. It is one of the alternatives to write a function definition. Syntactically, it is a single expression and defined using the keyword lambda. Lambda expression is a functional programming feature,
Autor:
Sandeep Muvva, Shubham Sangle
Publikováno v:
ESEC/SIGSOFT FSE
Lambdas as anonymous functions have gained significant prominence in programming languages such as Java, C++, Python and so on as developers tend to use them. With the dominant use of Python as backend language in many projects and large number of op
Publikováno v:
Sensors (Basel, Switzerland)
Sensors
Volume 19
Issue 14
Sensors, Vol 19, Iss 14, p 3146 (2019)
Sensors
Volume 19
Issue 14
Sensors, Vol 19, Iss 14, p 3146 (2019)
In the age of the Internet of Things, connected devices are changing the delivery system in the healthcare communication environment. With the integration of IoT in healthcare, there is a huge potential for improvement of the quality, safety, and eff