Risultati della ricerca - "functional programming"
Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
- functional programming 6
- abstract interpretation 4
- dependent types 4
- effects 4
- program analysis 4
- program synthesis 4
- quantum programming 4
- semantics 4
- session types 4
- verification 4
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general 3
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMC Compilers and interpreters 2
- FP-Growth algorithm 1
- Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle 1
- Internet of Things 1
- Internet of Things (IoT) 1
- IoT 1
- QA75.5-76.95 1
- WSN 1
- association rules 1
- bic Book Industry Communication::U Computing & information technology::UY Computer science 1
- cache memory 1
- computational offloading 1
- convolutional neural network 1
- data processing 1
- dew computing 1
- distributed collaboration 1
- dynamic offloading 1
- edge computing 1
- edge node 1
-
Programming Languages and Systems
Pubblicazione 2024Soggetti: “...functional programming...”
Testo
Online -
Programming Languages and Systems
Pubblicazione 2024Soggetti: “...functional programming...”
Testo
Online -
Real World OCaml: Functional Programming for the Masses
Pubblicazione 2024Soggetti: “...functional programming...”
Testo
Online -
Programming Languages and Systems
Pubblicazione 2025Soggetti: “...functional programming...”
Testo
Online -
Programming Languages and Systems
Pubblicazione 2025Soggetti: “...functional programming...”
Testo
Online -
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
Pubblicazione 2021Soggetti: “...Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle...”
Testo
Online -
Edge Computing for Internet of Things
Pubblicazione 2022Soggetti: “...functional programming...”
Testo
Online