-
1
-
2
-
3by Schwartzentruber, Johanna, Pientka, BrigitteSubjects: “...Computer Science - Programming Languages...”
Published in Electronic Proceedings in Theoretical Computer Science (2023)
Get access
Get access
Text -
4by Gaulin, Antoine, Pientka, BrigitteSubjects: “...Computer Science - Programming Languages...”
Published in Electronic Proceedings in Theoretical Computer Science (2023)
Get access
Get access
Text -
5
-
6
-
7
-
8
-
9
-
10
-
11by Licata, Daniel R.Subjects: “...PROGRAMMING LANGUAGES...”
Published 2011
Get access
Get access
Text -
12“...We present a core programming language that supports writing well-founded structurally recur-sive...”
Get access
Get access
Text -
13“...We present a core programming language that supports writing well-founded structurally recur-sive...”
Get access
Get access
Text -
14“...We present a core programming language that supports writing well-founded structurally recurs-ive...”
Get access
Get access
Text -
15“...We present a core programming language that supports writing well-founded structurally recurs-ive...”
Get access
Get access
Text -
16“...We present a core programming language that supports writing well-founded structurally recursive...”
Get access
Get access
Conference Object -
17“... rules of a variety of formal systems, such as programming languages and logics. We describe our tool...”
Get access
Get access
Text -
18“...Dependently typed programming languages allow programmers to express a rich set of invariants...”
Get access
Get access
Text -
19“... Structural View C. Sano, R. Kavanagh, B. Pientka Proceedings of the ACM on Programming Languages, Volume 7...”
Get access
Get access
Software -
20“... Structural View C. Sano, R. Kavanagh, B. Pientka Proceedings of the ACM on Programming Languages, Volume 7...”
Get access
Get access
Software