https://github.com/fare/climbing

Climbing Up the Semantic Tower — at Runtime
https://github.com/fare/climbing

Last synced: 1 day ago
JSON representation

Climbing Up the Semantic Tower — at Runtime

• Host: GitHub
• URL: https://github.com/fare/climbing
• Owner: fare
• Created: 2017-11-07T19:15:26.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2024-04-06T03:29:03.000Z (10 months ago)
• Last Synced: 2025-01-12T14:54:40.408Z (24 days ago)
• Language: Scheme
• Homepage:
• Size: 61.5 KB
• Stars: 13
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Climbing Up the Semantic Tower — at Runtime

===========================================

This paper was presented at the

[Off the Beaten Track (OBT)](https://conf.researchr.org/track/POPL-2018/OBT-2018)

workshop at [POPL 2018](https://popl18.sigplan.org/home).

It is based on works done as part of my thesis at < https://j.mp/FarePhD >.

See also my previous presentation on First-class Implementations

at BostonHaskell in 2016 at < https://youtu.be/heU8NyX5Hus >,

or the one at LambdaConf 2018 at < https://youtu.be/fH51qhI3hq0 >.

Viewing the article

-------------------

A PDF version of the paper (2 pages + bibliography overflow)

can be found here:

  * http://fare.tunes.org/files/climbing/climbing.pdf

Building the PDF

----------------

You need [Racket](https://racket-lang.org) using Scribble,

plus some (La)TeX distribution.