Analysis of recursive types in an imperative language

@inproceedings{Wang1994AnalysisOR,
  title={Analysis of recursive types in an imperative language},
  author={Edward Y. Wang and Paul N. Hilfinger},
  year={1994}
}
Analysis of Recursive Types in an Imperative Language 

References

Publications referenced by this paper.
SHOWING 1-10 OF 34 REFERENCES

Empirical Analysis of a Lisp System

Robert A. Shaw
  • PhD thesis,
  • 1988
VIEW 2 EXCERPTS
HIGHLY INFLUENTIAL

Partial Type Inference for Untyped Functional Programs

  • LISP and Functional Programming
  • 1990
VIEW 1 EXCERPT

Soft Typing: AnApproach to TypeChecking forDynamically Typed Languages

Mike Fagan
  • PhD thesis,
  • 1990
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…