newer
Inferring rewrite rules for higher...

Why should we write "a `par` b `pseq` (f a b)" instead of "a `par` b `par` (f a b)"?

Show replies by date

4504
Age (days ago)
4505
Last active (days ago)

List overview

Download

1 comments
2 participants

Add to favorites Remove from favorites

tags

participants (2)

  • Johannes Waldmann
  • Petr P