plunk.scroll

import ../code/conceptPage.scroll

id plunk
name Pλ⍵NK
appeared 2020
tags pl
conceptDescription This work presents Pλ⍵NK, a functional probabilistic network programming language that extends Probabilistic NetKAT (PNK). Like PNK, it enables probabilistic modelling of network behaviour, by providing probabilistic choice and infinite iteration (to simulate looping network packets). Yet, unlike PNK, it also offers abstraction and higher-order functions to make programming much more convenient.

country Belgium
originCommunity Katholieke Universiteit Leuven
reference https://dl.acm.org/doi/pdf/10.1145/3371107?download=true