References in zbMATH (referenced in 22 articles )

Showing results 1 to 20 of 22.
Sorted by year (citations)

1 2 next

  1. Alpuim, João; Oliveira, Bruno C.d. S.; Shi, Zhiyuan: Disjoint polymorphism (2017)
  2. Dunfield, Joshua: Extensible datasort refinements (2017)
  3. Dougherty, Daniel J.; de’Liguoro, Ugo; Liquori, Luigi; Stolze, Claude: A realizability interpretation for intersection and union types (2016)
  4. Dunfield, Joshua: Elaborating intersection and union types (2014)
  5. Dunfield, Joshua: Elaborating intersection and union types (2012)
  6. Ducournau, Roland; Privat, Jean: Metamodeling semantics of multiple inheritance (2011)
  7. Lovas, William; Pfenning, Frank: Refinement types for logical frameworks and their interpretation as proof irrelevance (2010)
  8. Bono, Viviana; Venneri, Betti; Bettini, Lorenzo: A typed lambda calculus with intersection types (2008)
  9. Dougherty, Daniel J.; Ghilezan, Silvia; Lescanne, Pierre: Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (2008)
  10. Lovas, William; Pfenning, Frank: A bidirectional refinement type system for LF (2008)
  11. Liquori, Luigi; Ronchi Della Rocca, Simona: Intersection-types à la Church (2007)
  12. Compagnoni, Adriana: Higher-order subtyping and its decidability (2004)
  13. Dunfield, Joshua; Pfenning, Frank: Tridirectional typechecking (2004)
  14. Bugliesi, Michele; Pericás-Geertsen, Santiago M.: Type inference for variant object types (2002)
  15. Harper, Robert; Lillibridge, Mark: Operational interpretations of an extension of (F_ \omega) with control operators (1996)
  16. O’Hearn, Peter W. (ed.); Tennent, Robert D. (ed.): ALGOL-like languages. (In 2 vol.) (1996)
  17. Reddy, Uday S.: Global state considered unnecessary: An introduction to object-based semantics. (1996) ioport
  18. van Bakel, Steffen: Intersection type assignment systems (1995)
  19. Cardone, Felice; Dezani-Ciancaglini, Mariangiola; de’Liguoro, Ugo: Combining type disciplines (1994)
  20. Dezani-Ciancaglini, Mariangiola; Hindley, J. Roger: Intersection types for combinatory logic (1992)

1 2 next