• *Search*: Advanced functional programming

*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 61 - 80 *of* 8*number_thousands_separator*349

61

Constrained Multi-Tildes: Derived Term and Position Automata.
Attou, Samira ; Mignot, Ludovic ; Miklarz, Clément ; et al.
International Journal of Foundations of Computer Science. Jan2026, Vol. 37 Issue 1, p241-268. 28p.

MACHINE theory FINITE state machines FORMAL languages BOOLEAN expressions FUNCTIONAL programming (... FACTORIZATION
*Academic Journal*
*Add to favorites*
62

Stimuli-Based Gaze Analytics to Enhance Motivation and Learning in MOOCs
Sharma, Kshitij ; Dillenbourg, Pierre ; Giannakos, Michail
2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT) Advanced Learning Technologies (ICALT), 2019 IEEE 19th International Conference on. 2161-377X:199-203 Jul, 2019

*Conference*
*Add to favorites*
63

Derivation of symbolic-based embedded feedback control stabilization expressions with experimentation
Dorrah, Hassen Taher ; Gabr, Walaa Ibrahim ; Elsayed, Mohamed Saleh
2017 Intl Conf on Advanced Control Circuits Systems (ACCS) Systems & 2017 Intl Conf on New Paradigms in Electronics & Information Technology (PEIT) Advanced Control Circuits Systems (ACCS) Systems & 2017 Intl Conf on New Paradigms in Electronics & Information Technology (PEIT), 2017 Intl Conf on. :40-47 Nov, 2017

*Conference*
*Add to favorites*
64

Programming Scala : Scalability = Functional Programming + Objects
Dean Wampler ; Alex Payne ; Dean Wampler ; et al.

Scala (Computer program...
*eBook*
*Add to favorites*
65

A Purely Functional Computer Algebra System Embedded in Haskell
Ishii, Hiromi
Computer Algebra in Scientific Computing, pp. 288-303. 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings

Computer Science - Symbo... Computer Science - Progr...
*Report*
*Add to favorites*
66

*This result is not displayed to guests*

67

*This result is not displayed to guests*

68

Exploratory + collaborative learning in programming: a framework for the design of learning activities
Gogoulou, A. ; Gouli, E. ; Grigoriadou, M. ; et al.
Proceedings 3rd IEEE International Conference on Advanced Technologies Advanced learning technologies Advanced Learning Technologies, 2003. Proceedings. The 3rd IEEE International Conference on. :350-351 2003

*Conference*
*Add to favorites*
69

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
Ariola, Zena M. ; Downen, Paul ; Herbelin, Hugo
EPTCS 441, 2026, pp. 1-18

Programming Languages Logic in Computer Scienc... F.3.3; D.3.3
*Report*
*Add to favorites*
70

*This result is not displayed to guests*

71

The Pronto platform: a flexible toolkit for programming networks using a commodity operating system
Hjalmtysson, G.
2000 IEEE Third Conference on Open Architectures and Network Programming. Proceedings (Cat. No.00EX401) Open architectures and network programming Open Architectures and Network Programming, 2000. Proceedings. OPENARCH 2000. 2000 IEEE Third Conference on. :98-107 2000

*Conference*
*Add to favorites*
72

*This result is not displayed to guests*

73

*This result is not displayed to guests*

74

*This result is not displayed to guests*

75

Programming Scala
Dean Wampler ; Dean Wampler

Scala (Computer program...
*eBook*
*Add to favorites*
76

*This result is not displayed to guests*

77

*This result is not displayed to guests*

78

Model-based blood glucose control for type 1 diabetes via parametric programming
Dua, P. ; Doyle, F.J. ; Pistikopoulos, E.N.
IEEE Transactions on Biomedical Engineering IEEE Trans. Biomed. Eng. Biomedical Engineering, IEEE Transactions on. 53(8):1478-1491 Aug, 2006

*Academic Journal*
*Add to favorites*
79

A Taste of Functional Programming -- 2.
Mukund, Madhavan
Resonance: Journal of Science Education. Sep2007, Vol. 12 Issue 9, p40-63. 24p. 6 Diagrams.

Church, Alonzo Functional programming (... Lambda calculus Haskell (Computer progra... Computer programming
*Academic Journal*
*Add to favorites*
80

From research to operations: integrating components with an aspect-oriented framework and ontology
Fletcher, D.P. ; Akkawi, F. ; Duncavage, D.P. ; et al.
2004 IEEE Aerospace Conference Proceedings (IEEE Cat. No.04TH8720) Aerospace conference Aerospace Conference, 2004. Proceedings. 2004 IEEE. 5:3064-3078 Vol.5 2004

*Conference*
*Add to favorites*
*Search Tools*: *Get RSS Feed* *Email this Search* *save_search*

*Filter*