• Log in
  • Register

linkhut
Bookmarks
tagged with:
  • pl
  • fp
Sort by:
  • recency
  • popularity
Order:
  • descending
  • ascending

29 Apr 25

Dependently Typed Assembler

https://www.cs.cmu.edu/~rwh/papers/dtal/OGI-CSE-99-008.pdf
by marc 8 months ago
Tags:
  • computing
  • pl
  • performance
  • fp

Tags
Sort by:
  • label
  • usage
Order:
  • ascending
  • descending
  • computing
  • fp
  • performance
  • pl
Explore
  • Recent
  • Popular
RSS feed

linkhut is open source software. You can contribute and report issues on SourceHut at ~mlb/linkhut (v0.1.0)