Skip to content
Branch: master
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
..
Failed to load latest commit information.
cache
lang
model-design
model-typed-racket
src
talk
.gitignore
Makefile
README.md
RESPONSE-ICFP-2018.txt
RESPONSE-PLDI-2018.txt
REVIEWS-ICFP-2018.txt
REVIEWS-PLDI-2018.txt
acmart.cls
appendix.scrbl
artifacts_available.jpg
artifacts_evaluated_functional.jpg
background.scrbl
bib.rkt
conclusion.scrbl
design.scrbl
evaluation.scrbl
existing-systems.scrbl
fig:conatural-embedding.tex
fig:conatural-preservation.tex
fig:conatural-reduction.tex
fig:delta.tex
fig:erasure-embedding.tex
fig:erasure-preservation.tex
fig:erasure-reduction.tex
fig:existing-dart.tex
fig:existing-nom.tex
fig:existing-pyret.tex
fig:existing-safets.tex
fig:existing-strongscript.tex
fig:existing-thorn.tex
fig:forgetful-embedding.tex
fig:forgetful-preservation.tex
fig:forgetful-reduction.tex
fig:locally-defensive-embedding.tex
fig:locally-defensive-preservation.tex
fig:locally-defensive-reduction.tex
fig:multi-preservation.tex
fig:multi-reduction.tex
fig:multi-syntax.tex
fig:multi-typing.tex
fig:natural-embedding.tex
fig:natural-preservation.tex
fig:natural-reduction.tex
fig:relprime-completion.tex
fig:relprime-reduction.tex
fig:relprime-tagging.tex
fig:relprime-typing.tex
fig:simulation.tex
gf-icfp-2018-supplement.scrbl
gf-icfp-2018.scrbl
implications.scrbl
info.rkt
introduction.scrbl
lined-codeblock.rkt
main.rkt
mathpartir.sty
open-world-soundness-is-too-weak.tex
open-world-texstyle.tex
plot.rkt
related-work.scrbl
style.tex
supplement-descriptions.scrbl
supplement-existing.scrbl
supplement-implementation.scrbl
supplement-linear.scrbl
supplement-model-background.scrbl
supplement-model-bridge.scrbl
supplement-model-c.scrbl
supplement-model-e.scrbl
supplement-model-f.scrbl
supplement-model-k.scrbl
supplement-model-n.scrbl
supplement-model-simulation.scrbl
supplement-model.scrbl
supplement-reduction.scrbl
tagged-racket-src.tar.gz
techreport.rkt
texstyle-appendix.tex
texstyle.tex

README.md

paper

"Spectrum of soundness"


In Chinese, a phrase that has the similar meaning is 风马牛不相及 (fēng mǎ niú bù xiāng jí), literally meaning "horses and cattles won't mate with each other", and later used to describe things that are totally unrelated and incomparable.

You can’t perform that action at this time.