4 ms·

Certifying Interpreters in Racket

• rscho 4y ago
  Racket (Scheme) really is a stellar language for exploring CS concepts! I have no CS education, but was able to follow just fine thanks to the simplicity of the language. I especially liked the easy pretty printing to Latex.
• carapace 4y ago
  Neat! See also: "Formal Methods: A First Introduction using Prolog to specify Programming Language Semantics" https://homepage.cs.uri.edu/faculty/hamel/pubs/fcs16.pdf https://homepage.cs.uri.edu/faculty/hamel/pubs/fcs16.pdf