https://github.com/dhil/t20

Triple 20: A domain specific language for kernel-to-kernel transformations.
https://github.com/dhil/t20

compilation compiler dart domain-specific-language functional-language google kernel kernel-transformations source-to-source

Last synced: about 1 month ago
JSON representation

Triple 20: A domain specific language for kernel-to-kernel transformations.

• Host: GitHub
• URL: https://github.com/dhil/t20
• Owner: dhil
• License: bsd-3-clause
• Created: 2018-09-14T11:51:48.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-01-30T16:02:06.000Z (almost 6 years ago)
• Last Synced: 2024-10-30T06:05:21.468Z (3 months ago)
• Topics: compilation, compiler, dart, domain-specific-language, functional-language, google, kernel, kernel-transformations, source-to-source
• Language: Dart
• Homepage: https://www.dartlang.org
• Size: 18.5 MB
• Stars: 4
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Code of conduct: CODE_OF_CONDUCT.md

Awesome Lists containing this project

README

        
# Triple 20: A Kernel-to-Kernel Transformation Framework

[![Build Status](https://travis-ci.com/stumtjener/t20-mirror.svg?branch=master)](https://travis-ci.com/stumtjener/t20-mirror)

**Disclaimer** this is highly experimental. It's a very early stage prototype.

## References

* **[The Racket Reference (version 7.1)](https://download.racket-lang.org/releases/7.1/pdf-doc/reference.pdf)**  

  by Matthew Flatt and PLT

* **[The Definition of Standard ML](http://sml-family.org/sml97-defn.pdf)**  

  by Robin Milner, Mads Tofte, Robert Harper, and David MacQueen

* **[Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism](http://doi.org/10.1145/2500365.2500582) (ICFP '13)**  

  by Joshua Dunfield and Neel Krishnaswami  

* **[Type Inference in Context](https://dl.acm.org/citation.cfm?id=1863608) (MSFP '10)**  

  by Adam Gundry, Conor McBride, and James McKinna

* **[Let Should not be Generalised](https://dl.acm.org/citation.cfm?id=1708023) (TLDI ' 10)**  

  by Dimitrios Vytiniotis, Simon Peyton Jones, and Tom Schrijvers

* **[HMF: Simple Type Inference for First-Class Polymorphism](https://dl.acm.org/citation.cfm?id=1411245) (ICFP '08)**  

  by Daan Leijen

* **[The Guaranteed Optimization Clause of the Macro Writer's Bill of Rights](https://www.youtube.com/watch?v=LIEX3tUliHw) (DanFest '04)**  

  by R. Kent Dybvig

* **[Local Type Inference](http://doi.org/10.1145/345099.345100) (TOPLAS '00)**  

  by Benjamin Pierce and  David Turner

* **[A tutorial on the universality and expressiveness of fold](https://dl.acm.org/citation.cfm?id=968579) (JFP '99)**  

  by Graham Hutton

* **[Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire](https://dl.acm.org/citation.cfm?id=128035) (FPCA '91)**  

  Erik Meijer, Maarten Fokkinga, and Ross Paterson

* **[How to make *ad-hoc* polymorphism less *ad hoc*](https://dl.acm.org/citation.cfm?id=75283) (POPL '89)**  

  by Philip Wadler and Stephen Blott