This project relates to a transformation which takes a higher-order program, and a produces an equivalent first-order program. Unlike Reynolds style defunctionalisation, it does not introduce any new data types, and the results are more amenable to subsequent analysis operations. Our transformation is implemented, and works on a Core language to which Haskell programs can be reduced. Our method cannot always succeed in removing all functional values, but in practice is remarkably successful.
-
Notifications
You must be signed in to change notification settings - Fork 0
A Haskell library to transform Yhc Core programs to first-order
License
ndmitchell/firstify
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
A Haskell library to transform Yhc Core programs to first-order
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published