Search
 
   

5 results for "metasepi"

  1. 7
    Metasepi's year of ATS programming metasepi.org
    zem avatar via zem 2 years ago | cached | no comments
  2. 11
    Metasepi Report: Writing NetBSD Sound Drivers in Haskell (2014) audio pdf haskell netbsd programming metasepi.org
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | 6 comments
  3. 4
    Functional IoT - Connect things by well-typed bridge. (Embedded ATS!) ☶ hardware haskell rust fpiot.metasepi.org
    bsima avatar via bsima 1 year ago | cached | 1 comment
  4. 13
    Updates on the ATS2 programming language 2017 slides programming slideshare.net
    doublec avatar via doublec 1 year ago | cached | no comments
  5. 8
    ATS/LF for Coq users slides compsci programming slideshare.net
    zem avatar via zem 2 years ago | cached | no comments