3,928 results found (page 6 of 262)
https://www.cl.cam.ac.uk/~nk480

@Unpublished{Dunfield21:bidir-survey, author = {Jana Dunfield and Neel Krishnaswami}, title = {Bidirectional Typing}, year = {2021}, note = {\url{arXiv:1908.05839 [cs.PL]}} } Transfinite Step-Indexing for Termination , Simon Spies, Neel Krishnaswami and Derek Dreyer. Accepted for…

https://sailhousingsolutions.org

…n, and an opportunity to connect with others thru SAIL’s Friendship Connect and SAILing Lessons. SAILing Lessons SAIL believes in connecting people to resources which is why we created SAILIng Lessons. These in-person informational sessions focus on a particular area of interest …

US
https://veteransondeck.org

…bers of our Armed Forces, during and after their service, through a therapeutic sailing program that offers holistic support and resiliency training. There is no fee to participate and come sail with us. Our Location Tranquility (30 foot) and DD214 (34.5 foot) are docked at The H…

https://www.academia.edu/1150408/A_link_with_the_external_world_The_stockfish_trade_in_14t…

…s, however, forced to change in the 15th century when English men intervened in sailing to Iceland. English sailors competed with Norwegian, later German (mostly Hanseatic) counterparts over Icelandic stockfish, involving their monarchies. This situation has coloured the 14th-15t…

https://www.academia.edu/47755275/Aegean_Navigation_and_the_Shipwrecks_of_Fournoi_The_arch…

…. It examines Aegean navigation and Fournoi’s role in north-south and east-west sailing routes. The assemblage of wrecks is not the product of the usual processes discussed by maritime archaeology, such as ship traps, hazardous environment, or abandonments, but a function of the …