'Nat type' presentation slideshows

Refining Mechanized Metatheory: Subtyping for LF

Refining Mechanized Metatheory: Subtyping for LF. William Lovas (with Frank Pfenning). LF: a framework for defining logics. (Harper, Honsell, and Plotkin, 1987, 1993) Dependently-typed lambda calculus Encode deductive systems and metatheory, in a machine-checkable way

389 views • 37 slides

NAT State Synchronization using SCSP draft-xu-nat-state-sync-00

109 views • 10 slides

NAT Diagnostics

NAT Diagnostics. Derek MacDonald. Overview. NAT type discovery was defined in 3489 Was not included in 3489bis as the discovery mechanism is not accurate A reduced mechanism may be useful as a diagnostic tool Could be useful to optimize P2P applications. Problems from 3489.

253 views • 7 slides

NAT Diagnostics

NAT Diagnostics. Derek MacDonald. Overview. NAT type discovery was defined in 3489 Was not included in 3489bis as the discovery mechanism is not accurate A reduced mechanism may be useful as a diagnostic tool Could be useful to optimize P2P applications. Problems from 3489.

92 views • 7 slides