corpus.blog
41554 blogs · 4,644,446 posts Claim your blog
Record · corpus.blog/posts/01a0821e-a06d-716f-955e-cc652314809d

Lowering Rust traits to logic

baby steps · published 26 January 2017

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at smallcultfollowing.com Wayback capture
2blogs citing
First cited
24 Apr 2017
Most recent
20 Mar 2026
Rank this month
not ranked
Links from this post
10
Words captured
4,471

Cited by

Blog
In the post
Date
emi-h.com
Typechecking mCRL2 Read at the source ↗
20 Mar 2026
aturon.github.io
Negative reasoning in Chalk Read at the source ↗
24 Apr 2017

Links from this post

Link
Host
http://www.alice.virginia.edu/~weimer/2011-6610/reading/nelson-oppen-congruence.pdf
alice.virginia.edu
http://github.com/nikomatsakis/ena
github.com
http://dl.acm.org/citation.cfm?id=868380
dl.acm.org
http://github.com/nikomatsakis/chalk
github.com
https://github.com/nikomatsakis/chalk/blob/master/chalk-rust-parse/src/parser.lalrpop
github.com
https://github.com/nikomatsakis/chalk/blob/master/chalk-rust-parse/src/ast.rs
github.com
https://github.com/nikomatsakis/chalk/blob/master/chalk-rust/src/lower/mod.rs
github.com
https://github.com/nikomatsakis/chalk/blob/master/chalk-rust/src/ir/mod.rs
github.com
https://github.com/rust-lang/rfcs/pull/1598
github.com
https://internals.rust-lang.org/t/blog-series-lowering-rust-traits-to-logic/4673
internals.rust-lang.org