Thomas P. Jensen. Conjunctive Type Systems and Abstract Interpretation of Higher-Order Functional Programs. Journal of Logic and Computation, 5(4):397-421, 1995.
@article{Jensen95, title = {Conjunctive Type Systems and Abstract Interpretation of Higher-Order Functional Programs}, author = {Thomas P. Jensen}, year = {1995}, tags = {functional programming, type system}, researchr = {https://researchr.org/publication/Jensen95}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {5}, number = {4}, pages = {397-421}, }