Last update: Sat Oct 21 02:07:46 MDT 2023
Return to index directory
U
-
U, 17(3)428--429
-
UCL, 7(5)555--556, 8(4)445--446
-
Ullman, 6(1)189--193
-
Ullman, Jeffrey D. (Jeffrey David), 0(0)xiii--320
-
Ullman:1994:EMP, 0(0)xiii--320
-
Ulmer, Gabriel-, 19(3)265--286
-
Ulrich, 11(4)433--436
-
undecidability, 6(5)757--761, 17(2)207--214
-
undefined, 2(3)367--374, 8(2)97--129
-
understanding, 2(1)23--59, 17(1)83--129, 25(z)z
-
unfold, Fold-, 32(z)z, 33(z)z
-
unfolding, 4(1)89--112, 4(4)479--498, 11(3)347--358
-
Unger, 24(4)524--527
-
Unicode, 0(0)xviii--471
-
unification, 8(5)527--536, 13(6)1061--1075, 28(z)z
-
unified, 0(0)xxiii--402, 22(4)614--704, 28(z)z
-
unifier, 27(z)z
-
uniform, 10(5)453--499, 25(z)z
-
unifying, 5(4)593--635, 26(z)z
-
union, 11(3)263--317, 24(2)133--165
-
unique, 4(1)117--123
-
uniqueness, 31(z)z
-
united, 28(z)z
-
univalence, 31(z)z
-
Univerity, 17(3)426--428
-
Universal, 2654(0)xxii--398
-
universality, 9(4)355--372
-
universe, 27(z)z, 31(z)z
-
Universes, 24(4)434--473
-
University, 2(3)365--365, 4(4)557--559, 6(1)189--193, 7(4)447--449,
8(6)633--637, 9(1)105--111, 9(4)479--482, 9(5)577--578,
10(5)501--508, 11(2)253--262, 11(4)433--436, 12(1)89--90,
13(6)1087--1088, 14(5)588--589, 15(4)651--651, 16(2)250--251,
19(2)256--259, 21(6)663--664, 21(6)664--666, 22(2)217--219,
22(6)854--855, 23(2)226--227, 24(1)128--130, 24(4)434--473,
24(4)523--523, 25(z)z, 30(z)z
-
unparsing, 8(6)621--625
-
Unravelling, 2(3)375--385
-
unsolvable, 1(3)367--372
-
untyped, 1(1)21--69, 5(1)37--49
-
unwraps, 21(2)209--213
-
update, 11(3)319--346, 11(4)359--393, 18(4)437--502
-
USA, 6(1)189--193, 2257(0)viii--349
-
usage, 18(2)141--178
-
use, 0(0)xvi--133, 0(0)xvii--485, 0(0)xviii--471, 3(1)67--75,
8(2)195--199, 19(1)27--45
-
used, 0(0)xviii--471
-
useful, 0(0)xvi--133
-
useless-code, 10(6)509--559
-
user, 0(0)xvi--133, 0(0)xxvi--586, 9(2)167--189, 13(5)839--866,
23(6)701--712, 27(z)z
-
using, 0(0)xi--277, 0(0)xiii--515, 0(0)xvi--355, 0(0)xxvi--586, 0(0)z,
1(1)71--89, 1(4)459--494, 3(1)5--34, 7(4)447--449, 8(4)323--333,
9(6)605--624, 10(3)245--268, 11(2)253--262, 13(4)709--745,
15(3)403--430, 16(1)35--74, 19(3)287--310, 21(6)585--615,
24(5)608--609, 28(z)z, 31(z)z, 32(z)z, 33(z)z
-
usually, 0(0)xviii--471, 28(z)z
-
Utilities, 13(1)179--190, 13(1)191--192, 13(1)193--198, 13(1)199--204
-
Uusi-mäkelä, Samuel, 25(z)z, see Tirronen, Ville
-
Uustalu, Tarmo, 19(3)263--264, 27(z)z
-
Uustalu, Tarmo, see McBride, Conor
-
Uustalu:2017:FRS, 27(z)z