Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Hubers, Alex"'
We explore recursive programming with extensible data types. Row types make the structure of data types first class, and can express a variety of type system features from subtyping to modular combination of case branches. Our goal is the modular com
Externí odkaz:
http://arxiv.org/abs/2410.11742
Autor:
Hubers, Alex, Morris, J. Garrett
We present a novel approach to generic programming over extensible data types. Row types capture the structure of records and variants, and can be used to express record and variant subtyping, record extension, and modular composition of case branche
Externí odkaz:
http://arxiv.org/abs/2307.08759
Autor:
Bowen-Biggs, Leo, Dazo, Suzanne, Zhang, Yili, Hubers, Alex, Rueben, Matthew, Sowell, Ross, Smart, William D., Grimm, Cindy
Maps --- specifically floor plans --- are useful for a variety of tasks from arranging furniture to designating conceptual or functional spaces (e.g., kitchen, walkway). We present a simple algorithm for quickly laying a floor plan (or other conceptu
Externí odkaz:
http://arxiv.org/abs/1606.04836