Inductive Diagrams for Causal Reasoning von Castello, Jonathan, Redmond, Patrick, Kuper, Lindsey

Volltext

HasChor: Functional Choreographic Programming for All (Functional Pearl) von Shen, Gan, Kashiwa, Shun, Kuper, Lindsey

Volltext

Verifying replicated data types with typeclass refinements in Liquid Haskell von Liu, Yiyun, Parker, James, Redmond, Patrick, Kuper, Lindsey, Hicks, Michael, Vazou, Niki

Volltext

Toward Verified Library-Level Choreographic Programming with Algebraic Effects von Shen, Gan, Kuper, Lindsey

Volltext bestellen

An Exceptional Actor System (Functional Pearl) von Redmond, Patrick, Kuper, Lindsey

Volltext

Inductive diagrams for causal reasoning von Castello, Jonathan, Redmond, Patrick, Kuper, Lindsey

Volltext

Efficient, Portable, Census-Polymorphic Choreographic Programming von Bates, Mako, Kashiwa, Shun, Jafri, Syed, Shen, Gan, Kuper, Lindsey, Near, Joseph P

Volltext bestellen

HasChor: Functional Choreographic Programming for All (Functional Pearl) von Shen, Gan, Kashiwa, Shun, Kuper, Lindsey

Volltext

Toward SMT-Based Refinement Types in Agda von Shen, Gan, Kuper, Lindsey

Volltext bestellen

Portable, Efficient, and Practical Library-Level Choreographic Programming von Kashiwa, Shun, Shen, Gan, Zare, Soroush, Kuper, Lindsey

Volltext bestellen

Verified Causal Broadcast with Liquid Haskell von Redmond, Patrick, Shen, Gan, Vazou, Niki, Kuper, Lindsey

Volltext

Toward Hole-Driven Development with Liquid Haskell von Redmond, Patrick, Shen, Gan, Kuper, Lindsey

Volltext bestellen

Toward Verified Library-Level Choreographic Programming with Algebraic Effects von Shen, Gan, Kuper, Lindsey

Volltext

Toward SMT-Based Refinement Types in Agda von Shen, Gan, Kuper, Lindsey

Volltext

Toward Scalable Verification for Safety-Critical Deep Networks von Kuper, Lindsey, Katz, Guy, Gottschlich, Justin, Julian, Kyle, Barrett, Clark, Kochenderfer, Mykel

Volltext bestellen

Taming the parallel effect zoo: extensible deterministic parallelism with LVish von Kuper, Lindsey, Todd, Aaron, Tobin-Hochstadt, Sam, Newton, Ryan R.

Volltext

Portable, Efficient, and Practical Library-Level Choreographic Programming von Kashiwa, Shun, Shen, Gan, Zare, Soroush, Kuper, Lindsey

Volltext

Detecting mobile device sensor malfunctions von Kuper, Lindsey, Gottschlich, Justin E

Volltext bestellen

Toward Hole-Driven Development with Liquid Haskell von Redmond, Patrick, Shen, Gan, Kuper, Lindsey

Volltext

Efficient, Portable, Census-Polymorphic Choreographic Programming von Bates, Mako, Kashiwa, Shun, Jafri, Syed, Shen, Gan, Kuper, Lindsey, Near, Joseph P

Volltext