Torthaí cuardaigh - "functional programming"
Topaicí molta laistigh de do chuardach.
Topaicí molta laistigh de do chuardach.
- 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
Cuardaigh le haghaidh roghanna malartacha:
- "functional programming" »
-
Programming Languages and Systems
Foilsithe / Cruthaithe 2024Ábhair: “…functional programming…”
Faigh an téacs iomlán
Online -
Programming Languages and Systems
Foilsithe / Cruthaithe 2024Ábhair: “…functional programming…”
Faigh an téacs iomlán
Online -
Real World OCaml: Functional Programming for the Masses
Foilsithe / Cruthaithe 2024Ábhair: “…functional programming…”
Faigh an téacs iomlán
Online -
Programming Languages and Systems
Foilsithe / Cruthaithe 2025Ábhair: “…functional programming…”
Faigh an téacs iomlán
Online -
Programming Languages and Systems
Foilsithe / Cruthaithe 2025Ábhair: “…functional programming…”
Faigh an téacs iomlán
Online -
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
Foilsithe / Cruthaithe 2021Ábhair: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
Faigh an téacs iomlán
Online -
Edge Computing for Internet of Things
Foilsithe / Cruthaithe 2022Ábhair: “…functional programming…”
Faigh an téacs iomlán
Online