rotulador: Useful Functions for Programming and Generating Documents
Fields of Study & Subjects
Engineering and Information Technology
Logic
programming
and type systems
Software Engineering Research
Publication details
- Publication date
- 2 February 2026
- Document type
- Dataset