1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
@article{DBLP:journals/pacmpl/XueO24,
author = {Xu Xue and
Bruno C. d. S. Oliveira},
title = {Contextual Typing},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{ICFP}},
pages = {880--908},
year = {2024},
doi = {10.1145/3674655},
timestamp = {Tue, 24 Dec 2024 22:38:35 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/XueO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/GreenP96,
author = {Thomas R. G. Green and
Marian Petre},
title = {Usability Analysis of Visual Programming Environments: {A} 'Cognitive
Dimensions' Framework},
journal = {J. Vis. Lang. Comput.},
volume = {7},
number = {2},
pages = {131--174},
year = {1996},
doi = {10.1006/JVLC.1996.0009},
timestamp = {Mon, 29 Jul 2019 16:00:07 +0200},
biburl = {https://dblp.org/rec/journals/vlc/GreenP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/LongleyN15,
author = {John Longley and
Dag Normann},
title = {Higher-Order Computability},
series = {Theory and Applications of Computability},
publisher = {Springer},
year = {2015},
doi = {10.1007/978-3-662-47992-6},
isbn = {978-3-662-47991-9},
timestamp = {Tue, 16 May 2017 14:01:44 +0200},
biburl = {https://dblp.org/rec/books/sp/LongleyN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@unpublished{Squid:unpublished/McBride01,
author = {Conor McBride},
title = {The Derivative of a Regular Type is its Type of One-Hole Contexts},
year = {2001},
url = {http://strictlypositive.org/diff.pdf},
urldate = {2025-02-07}
}
@online{Squid:online/Kiselyov22,
author = {Oleg Kiselyov},
title = {Simply-typed encodings: {PCF} considered as unexpectedly expressive programming language},
year = {2022},
url = {https://www.okmij.org/ftp/Computation/simple-encodings.html},
urldate = {2024-09-16}
}
@unpublished{Squid:unpublished/Bauer17,
author = {Andrej Bauer},
title = {On Self-Interpreters for {System~T} and Other Typed \(\lambda\)-Calculi},
year = {2016},
url = {http://math.andrej.com/wp-content/uploads/2016/01/self-interpreter-for-T.pdf},
urldate = {2025-04-02}
}
@book{DiscoverEd:book/oc/Cantor52,
author = {Cantor, Georg},
title = {Contributions to the Founding of the Theory of Transfinite Numbers},
series = {The Open Court Series of Classics of Science and Philosophy},
publisher = {Open Court},
year = {1952},
booktitle = {Contributions to the Founding of the Theory of Transfinite Numbers},
timestamp = {Thu, 20 Feb 2025 15:02:44 +0000}
}
|
