Precise Web Programming with Embedded Domain-Specific Languages and Dependently-Typed Architecture

Lecture notes in networks and systems 2026

View at publisher

Authors: Jitendra Gupta

DOI: 10.1007/978-981-96-8998-9_24

Cited by: 0

References: 14

Fields of Study & Subjects

Logic programming and type systems Model-Driven Software Engineering Techniques Security and Verification in Computing

References 14