5 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 5 cited
Gradual Soundness: Lessons from Static Python
Kuang-Chen Lu, Ben Greenman, Carl Meyer +3
Context: Gradually-typed languages allow typed and untyped code to interoperate, but typically come with significant drawbacks. In some languages, the types are unreliable; in othe…
cs.AI2013★ 1 cited
Coherent Knowledge Processing at Maximum Entropy by SPIRIT
Wilhelm Roedder, Carl-Heinz Meyer
SPIRIT is an expert system shell for probabilistic knowledge bases. Knowledge acquisition is performed by processing facts and rules on discrete variables in a rich syntax. The she…