https://github.com/sgraf812/late-lam-lift

Paper about selective lambda lifting
https://github.com/sgraf812/late-lam-lift

Last synced: about 2 months ago
JSON representation

Paper about selective lambda lifting

• Host: GitHub
• URL: https://github.com/sgraf812/late-lam-lift
• Owner: sgraf812
• Created: 2018-09-07T09:21:27.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-10-25T13:33:16.000Z (about 5 years ago)
• Last Synced: 2024-10-13T10:42:36.372Z (3 months ago)
• Language: TeX
• Homepage:
• Size: 11.6 MB
• Stars: 2
• Watchers: 5
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Selective Lambda Lifting

This a paper about integrating a selective lambda lifting pass late in the STG pipeline of GHC.

You can find the code here: https://github.com/sgraf812/ghc/tree/lift-lambda/compiler/simplStg/StgLiftLams

## Building

Install `lhs2TeX` and a latex environment with `latexmk` and all the packages. If you have, just run `make` and it should build the paper as `paper.pdf`.