GUPEA >
Student essays / Studentuppsatser >
Department of Computer Science and Engineering / Institutionen för data- och informationsteknik >
Masteruppsatser >

Pattern Matching for Non-inductive Types in Code-generating Haskell EDSLs


Please use this identifier to cite or link to this item: http://hdl.handle.net/2077/69659

Files in This Item:

File Description SizeFormat
gupea_2077_69659_1.pdf1727KbAdobe PDF
View/Open
Title: Pattern Matching for Non-inductive Types in Code-generating Haskell EDSLs
Authors: Li, Thomas
Issue Date: 20-Sep-2021
Degree: Student essay
Keywords: haskell
haski
edsl
pattern matching
embedded domain-specific languages
functional programming
Abstract: Internet of Things (IoT) devices are becoming increasingly common in the modern home, as are IoT-related security vulnerabilities. There are reasons to believe that many of these vulnerabilities were caused by programming errors made possible due to working in a low-level programming language. The embedded domain-specific language (EDSL) Haski provides a way to write low-level applications in the highlevel functional programming language Haskell. An embedded language inherits many features ... more
URI: http://hdl.handle.net/2077/69659
Appears in Collections:Masteruppsatser

 

 

© Göteborgs universitet 2011