Showing 1 - 4 results of 4 for search 'Kuraj, Ivan', query time: 0.10s Refine Results
  1. 1
    Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift
    by Kuraj, Ivan, Jackson, Daniel
    Published 2018
    Other Authors: “...Kuraj, Ivan...”
    Get fulltext
    Article
  2. 2
    Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems
    by Kuraj, Ivan, Solar-Lezama, Armando
    Published 2021
    Get fulltext
    Article
  3. 3
    Programming with enumerable sets of structures
    Other Authors: “...Kuraj, Ivan...”
    Get fulltext
    Article
  4. 4
    Program synthesis from polymorphic refinement types
    Other Authors: “...Kuraj, Ivan...”
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search