search result

Cover von The Metatheory of Gradual Typing

The Metatheory of Gradual Typing

State of the Art and Challenges (Invited Talk)
Year: 2023
Media group: LIPIcs
Cover von Refined Criteria for Gradual Typing

Refined Criteria for Gradual Typing

Year: 2015
Media group: LIPIcs
Cover von The Boost Graph Library
User Guide and Reference Manual
Author: Siek, Jeremy G.; Lee, Lie-Quan; Lumsdaine, Andrew Search for this author
Year: 2002
Publisher: Boston, Pearson / Prentice Hall
Series: C++ in-depth series
Media group: MONOGRAPHIE
OPEN V 11.1.0.0