Implementing, and keeping in check, a DSL used in E-learning

DOI10.1007/978-3-030-59025-3_11OpenAlexW3086988866MaRDI QIDQ2039947

Janis Voigtländer, Oliver Westphal

Publication date: 6 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-59025-3_11

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Uses Software

• Haskell

Cites Work

• Unnamed Item
• Constant-size structure-preserving signatures: generic constructions and simple assumptions
• Secure distributed key generation for discrete-log based cryptosystems
• Efficient functional encryption for inner-product values with full-hiding security
• Folding domain-specific languages
• How to share a secret
• Fully Secure Functional Encryption with General Relations from the Decisional Linear Assumption
• How to Construct Pseudorandom Permutations from Pseudorandom Functions
• Applicative programming with effects

This page was built for publication: Implementing, and keeping in check, a DSL used in E-learning