u/bjzabaPikelet, Unnamed Binary DDLin r/ProgrammingLanguages • Recommends
Markus Völter: The future of DSLs - functions and formal methods
0:00 / 0:00
#dsl#formalmethods#domain-specificlanguages
Markus Völter: The future of DSLs - functions and formal methods
Curry On!
6.3K subscribers • 21 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Markus Völter
Intermediate. Assumes working knowledge.
928 views7 years ago1 recommendation
Programming languagesComputer scienceLanguage design and type systemsFormal methods and verification
Markus Völter discusses the integration of functional programming and formal methods into domain-specific languages.
The uploader added no description.