Hacker GitHub

← All repos

jrslepak/Remora

View on GitHub ↗ ★ 128 Racket

Dependently-typed language with Iverson-style implicit lifting

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2016-04-15 · latest 2019-10-26

Mentions per year 3 mentions · busiest year 2016 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …they wrote has a shout out to it as well. [1] http://www.ccs.neu.edu/home/jrslepak/typed-j.pdf also https://github.com/jrslepak/Remora/tree/master/remora
    comment by anaphor · 2019-10-26 · in Dex: A research language for array processing in the Haskell/ML family
  2. ▲ 1
    Remora: Dependently-typed language with Iverson-style implicit lifting
    story by sndean · 2016-07-10 · 0 comments
  3. Repository: https://github.com/jrslepak/Remora
    comment by brudgers · 2016-04-15 · in Remora: An Array-Oriented Language with Static Rank Polymorphism [pdf]