Jeff Polakow (Selection)

Jeffrey Polakow

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Alberto Momigliano, Jeff Polakow: A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. MERLIN 2003

Selection of 1 from 13 records - Jeff Polakow has 12 coauthors