Search Results

Showing 1 - 20 results of 26 for search '"programming language"', query time: 0.09s Refine Results
  1. 1
    Subjects: “...Computer Science - Programming Languages...”
    Get access
    Text
  2. 2
    Subjects: “...Programming Languages cs.PL...”
    Get access
    Get access
    Article in Journal/Newspaper
  3. 3
    Subjects: “...Computer Science - Programming Languages...”
    Get access
    Get access
    Text
  4. 4
    Subjects: “...Computer Science - Programming Languages...”
    Get access
    Get access
    Text
  5. 5
    Subjects: “...Programming Languages cs.PL...”
    Get access
    Get access
    Text
  6. 6
    Subjects: “...Programming Languages cs.PL...”
    Get access
    Get access
    Text
  7. 7
    by Gaulin, Antoine, Pientka, Brigitte
    Published 2023
    Subjects: “...Programming Languages cs.PL...”
    Get access
    Get access
    Text
  8. 8
    by Liquori, Luigi, Stolze, Claude
    Published 2020
    Subjects: “...Computer Science - Programming Languages...”
    Get access
    Text
  9. 9
    by Cave, Andrew, Pientka, Brigitte
    Published 2015
    Subjects: “...Programming Languages cs.PL...”
    Get access
    Get access
    Text
  10. 10
    by Liquori, Luigi, Stolze, Claude
    Published 2020
    Subjects: “...Programming Languages cs.PL...”
    Get access
    Get access
    Article in Journal/Newspaper
  11. 11
    by Licata, Daniel R.
    Published 2011
    Subjects: “...PROGRAMMING LANGUAGES...”
    Get access
    Get access
    Text
  12. 12
    “...We present a core programming language that supports writing well-founded structurally recur-sive...”
    Get access
    Get access
    Text
  13. 13
    “...We present a core programming language that supports writing well-founded structurally recur-sive...”
    Get access
    Get access
    Text
  14. 14
    “...We present a core programming language that supports writing well-founded structurally recurs-ive...”
    Get access
    Get access
    Text
  15. 15
    “...We present a core programming language that supports writing well-founded structurally recurs-ive...”
    Get access
    Get access
    Text
  16. 16
    by Pientka, Brigitte, Abel, Andreas
    Published 2015
    “...We present a core programming language that supports writing well-founded structurally recursive...”
    Get access
    Get access
    Conference Object
  17. 17
    “... rules of a variety of formal systems, such as programming languages and logics. We describe our tool...”
    Get access
    Get access
    Text
  18. 18
    “...Dependently typed programming languages allow programmers to express a rich set of invariants...”
    Get access
    Get access
    Text
  19. 19
    “... Structural View C. Sano, R. Kavanagh, B. Pientka Proceedings of the ACM on Programming Languages, Volume 7...”
    Get access
    Get access
    Software
  20. 20
    “... Structural View C. Sano, R. Kavanagh, B. Pientka Proceedings of the ACM on Programming Languages, Volume 7...”
    Get access
    Get access
    Software
Search Tools: Get RSS Feed