Last update: Sat Oct 21 02:07:46 MDT 2023
Return to index directory
W
-
W, 9(1)105--111, 13(4)831--832
-
Wachs, Garsia-, 30(z)z
-
Waclena, Keith, 5(3)317--343
-
Waclena, Keith, see Ziff, Donald A.
-
Waddell, Oscar, 15(5)653--667
-
Waddell, Oscar, see Sarkar, Dipanwita
-
Wadge, W. W., 7(1)73--101, 9(5)527--564
-
Wadge, W. W., see Rondogiannis, P.
-
Wadler, Peter, 10(6)627--627
-
Wadler, Peter, see Taha, Walid
-
Wadler, Phil, 8(4)319--321, 13(5)833--834
-
Wadler, Phil, see Peyton Jones, Simon
-
Wadler, Philip, 3(1)1--2, 3(1)3--4, 4(2)125--125, 7(2)127--128,
8(3)275--317, 19(6)663--697, 20(1)51--69, 24(2)384--418, 29(z)z,
30(z)z, 31(z)z
-
Wadler, Philip, see Abel, Andreas,
see Barendregt, Henk, \see{Lindley, Sam,
see Maraist, John, \see{Schrijvers, Tom,
see Siek, Jeremy G., \see{Thompson, Simon
-
Wadler:1994:TSO, 4(2)125--125
-
Wadler:1997:EHO, 7(2)127--128
-
Wadler:2014:PS, 24(2)384--418
-
Wainwright, Roger L., 2(1)61--72
-
Wainwright:1992:SSM, 2(1)61--72
-
Wakeling, 7(5)555--556, 8(4)445--446
-
Wakeling, David, 3(2)217--245, 8(1)61--81, 9(6)579--603, 16(1)1--12,
17(1)131--143
-
Wakeling, David, see Runciman, Colin
-
Wakeling:1998:DCL, 8(1)61--81
-
Wakeling:1999:CLF, 9(6)579--603
-
Wakeling:2006:EPB, 16(1)1--12
-
Wakeling:2007:SFP, 17(1)131--143
-
Walker, David, 12(1)43--88, 13(5)957--959
-
Walker, David, see Morrisett, Greg
-
Walkingshaw, Eric, 19(6)645--661, 32(z)z
-
Walkingshaw, Eric, see Iii, John Peter Campora
-
Walkingshaw:2009:DSL, 19(6)645--661
-
Walkington, Noel, 11(5)441--466
-
Walkington, Noel, see Blelloch, Guy
-
wall, 18(4)553--564
-
Wallingford, Eugene, 14(2)249--251
-
Wallingford:2004:BRP, 14(2)249--251
-
Walters, Pum, 6(4)621--655
-
Walters, Pum, see Hartel, Pieter H.
-
Walukiewicz-Chrzaszcz, Daria, 13(2)339--414
-
Walukiewicz-Chrzaszcz:2003:TRC, 13(2)339--414
-
Wampler, 22(6)853--854
-
Wampler, Dean, 0(0)xi--72
-
Wampler:2011:FPJ, 0(0)xi--72
-
Wand, 13(4)829--831, 19(6)723--725
-
Wand, Mitchell, 0(0)xviii--389, 0(0)xxii--410, 3(3)365--387,
4(2)125--126, 11(3)319--346, 13(5)905--923, 26(z)z
-
Wand, Mitchell, see Friedman, Daniel P.,
see Palsberg, Jens, \see{Stansifer, Paul
-
Wand:1993:SCB, 3(3)365--387
-
Wand:1994:I, 4(2)125--126
-
Wand:2001:SCD, 11(3)319--346
-
Wang, Meng, 23(5)515--551, 28(z)z
-
Wang, Meng, see Matsuda, Kazutaka,
see Voigtländer, Janis
-
Wansbrough, Keith, 17(4)547--612, 18(4)437--502
-
Wansbrough, Keith, see Sewell, Peter
-
want, 8(2)195--199
-
wanted, 23(1)1--37
-
Warnings, 17(3)387--421
-
was, 0(0)xvi--133, 0(0)xxiii--657
-
Washburn, Geoffrey, 18(1)87--140
-
Washburn:2008:BGB, 18(1)87--140
-
Watt, David, 24(4)523--523
-
Watt:2014:BRP, 24(4)523--523
-
way, 0(0)xxiii--402
-
Wazny, Jeremy, 20(2)123--136
-
Wazny:2010:ERF, 20(2)123--136
-
weak, 6(1)111--141, 8(5)447--491
-
Weaving, 11(6)681--689
-
web, 0(0)xii--492, 0(0)xvi--133, 0(0)xxiii--402, 0(0)xxx--439,
10(1)1--18, 11(6)681--689, 12(4)359--374, 14(5)475--488,
15(1)53--65, 17(3)423--424, 23(2)225--226
-
web-based, 0(0)xxiii--402
-
Webster, M. F., 6(1)143--170
-
Webster, M. F., see Grant, P. W.
-
Weeks, Stephen, 18(4)553--564
-
Weeks, Stephen, see Minsky, Yaron
-
weight-balanced, 21(3)287--307
-
Weimer, Westley, 28(z)z
-
Weimer, Westley, see Seidel, Eric L.
-
Weirich, Stephanie, 12(6)567--600, 14(6)681--695, 16(6)681--710,
17(1)1--82, 18(1)87--140, 20(2)175--210, 22(3)225--274,
22(4)379--381, 26(z)z, 31(z)z
-
Weirich, Stephanie, see Acar, Umut A.,
see Breitner, Joachim, \see{Crary, Karl,
see Greenberg, Michael,
see Peyton Jones, Simon,
see Vytiniotis, Dimitrios,
see Washburn, Geoffrey
-
Weirich:2004:FPT, 14(6)681--695
-
Weirich:2006:TSR, 16(6)681--710
-
Weis, Pierre, 6(4)621--655
-
Weis, Pierre, see Hartel, Pieter H.
-
Weise, Daniel, 3(3)251--281
-
Weise, Daniel, see Ruf, Erik
-
Welcome, 13(5)835--838
-
well-bracketed, 31(z)z
-
Well-founded, 26(z)z
-
well-known, 32(z)z
-
Wells, J. B., 12(3)183--227
-
Wells:2002:CPP, 12(3)183--227
-
Wentworth, Peter, 6(4)621--655
-
Wentworth, Peter, see Hartel, Pieter H.
-
Wesley, 11(2)253--262, 22(3)375--377
-
Wesley, Addison-, 8(6)633--637, 13(4)828--829
-
what, 0(0)xviii--471, 0(0)xxiii--402, 8(1)1--22, 17(6)777--792, 31(z)z
-
wheel, 7(2)219--225
-
Wheeler, Burrows-, 14(6)603--612
-
When, 22(6)747--756
-
whether, 0(0)xvii--485
-
which, 0(0)xvi--133, 0(0)xviii--471, 0(0)xxvi--586, 6(5)699--722,
7(4)395--420
-
while, 0(0)xv--240, 11(6)629--671
-
Whitington, 23(3)352--354
-
Whitington, John, 0(0)ix--194
-
Whitington:2013:OVB, 0(0)ix--194
-
who, 0(0)xvi--133
-
Whong, Bo, 6(3)465--484
-
Whong, Bo, see Hudak, Paul
-
whose, 0(0)xviii--471
-
Why, 0(0)xvi--133, 0(0)xvi--395, 8(2)97--129, 8(2)195--199
-
wide, 0(0)xii--492, 0(0)xv--240, 0(0)xxx--439
-
Wiegley, John, 31(z)z
-
Wiegley, John, see Breitner, Joachim
-
Wiklicky, Herbert, 15(5)703--749
-
Wiklicky, Herbert, see Di Pierro, Alessandra
-
Wilding, Matthew, 18(1)15--46
-
Wilding, Matthew, see Greve, David A.
-
Wiley, 5(1)131--134, 6(2)375--377, 7(2)227--229, 13(4)831--832,
14(5)598--600
-
Wilhelm, Reinhard, 7(5)451--485
-
Wilhelm, Reinhard, see Heckmann, Reinhold
-
will, 0(0)xi--277, 0(0)xv--240, 0(0)xvi--133, 0(0)xviii--471,
0(0)xxvi--586
-
Willcock, Jeremiah, 17(2)145--205
-
Willcock, Jeremiah, see Garcia, Ronald
-
Williams, 5(4)653--660
-
Williams, Mair, Allen-, 17(4)547--612
-
Wisdom, 13(4)826--828
-
Wisdom, Jack, 0(0)xxi--534
-
Wisdom, Jack, see Sussman, Gerald Jay
-
wise, step-, 0(0)xv--240
-
Wisnesky, Ryan, 27(z)z
-
Wisnesky, Ryan, see Schultz, Patrick
-
witnesses, 28(z)z
-
Wolff, B., 9(2)167--189
-
Wolff, B., see Lüth, C.
-
Wolfgang, Hans-, 13(4)823--824
-
Wong, Limsoon, 10(1)19--56, 32(z)z
-
Wong, Limsoon, see Perna, Stefano
-
Wong:2000:KFQ, 10(1)19--56
-
Wood, Alan, 11(2)253--262
-
Wood:2001:BRS, 11(2)253--262
-
words, 25(z)z
-
work, 0(0)xvi--133, 0(0)xviii--471, 22(2)181--216, 24(1)113--127
-
worked, 25(z)z
-
workerash, 19(2)227--251
-
workergash, 21(2)209--213
-
workflow, 27(z)z
-
working, 0(0)x--429, 6(1)189--193, 7(4)447--449, 20(1)71--122
-
workout, 30(z)z
-
workshop, 22(1)1--8, 23(6)701--712
-
world, 0(0)xii--492, 0(0)xiii--515, 0(0)xxx--439, 13(4)831--832,
19(2)259--261
-
world, real-, 0(0)xvii--485, 0(0)xxiii--402, 31(z)z
-
Worst, 4(1)65--75
-
would, 8(2)195--199
-
wrap, 24(1)113--127
-
wrapper, 19(2)227--251, 21(2)209--213
-
Wright, David, 6(2)355--364
-
Wright, David, see Partridge, Andrew
-
Wright, Joel, 17(6)777--792
-
Wright, Joel, see Hutton, Graham
-
write, 0(0)xvii--485, 33(z)z
-
Wrong, 28(z)z
-
Wu, Nicolas, 26(z)z
-
Wu, Nicolas, see Hinze, Ralf
-
www.event-b.org''--Provided, 0(0)xxvi--586