Возраст домена | 11 лет |
Дата окончания | Истек срок регистрации |
ИКС | |
Страниц в Google | 34 |
Страниц в Яндексе | 8 |
Dmoz | Нет |
Яндекс Каталог | Нет |
Alexa Traffic Rank | 14057450 |
Alexa Country | Нет данных |
История изменения показателей | Авторизация |
Идет сбор информации... Обновить
William E. Byrd
n/a
n/a
ISO-8859-1
24.19 КБ
19
163 симв.
140 симв.
Данные предоставлены сервисом semrush
Идет сбор информации... Обновить
Данные linkpad ( 2 Мая 2016 ) | |
Количество ссылок на сайт | 37 |
Количество доменов, которые ссылаются на сайт | 19 |
Количество найденных анкоров | 15 |
Исходящие (внешние) ссылки домена | 44 |
Количество доменов, на которые ссылается сайт | 42 |
Количество исходящих анкоров | 40 |
Внешние ссылки главной страницы ( 79 ) | |
uab.edu/cas/computerscience/ | Department of Computer Science |
uab.edu/medicine/pmi/ | Hugh Kaul Precision Medicine Institute |
uab.edu/ | University of Alabama at Birmingham |
twitter.com/webyrd | <img> |
github.com/webyrd | <img> |
plus.google.com/u/0/105440600470339282120/posts | <img> |
youtube.com/user/WilliamEByrd | <img> |
mitpress.mit.edu/books/reasoned-schemer-second-edition | The Reasoned Schemer, Second Edition. |
github.com/TheReasonedSchemer2ndEd | Source code from the second edition (GitHub) |
mitpress.mit.edu/books/reasoned-schemer | <img> |
mitpress.mit.edu/books/reasoned-schemer | The Reasoned Schemer. |
github.com/miniKanren/TheReasonedSchemer | Complete source code from the first edition--R5RS Scheme (GitHub) |
search.proquest.com/docview/304903505 | Full Dissertation (PDF file) |
github.com/webyrd/dissertation-single-spaced | Easier to read, single-spaced, re-typeset version (PDF file) |
neurips.cc/Conferences/2018/Schedule?showEvent=11187 | Paper and poster |
papers.nips.cc/book/advances-in-neural-information-processin... | Full proceedings |
dl.acm.org/citation.cfm?id=3110252 | Paper (ACM Digital Library, Open Access) |
youtube.com/watch?v=o3AHnyEf7IE | Talk |
github.com/gregr/icfp2017-artifact-auas7pp | Reusable Artifact |
io.livecode.ch/learn/namin/icfp2017-artifact-auas7pp | Interactive version of paper |
github.com/namin | Nada Amin |
pubsdc3.acs.org/doi/abs/10.1021/acs.jproteome.6b01053?journa... | Paper (ACS Publications) |
dl.acm.org/citation.cfm?id=2989230 | Paper (ACM Digital Library) |
arxiv.org/abs/1609.05337 | Full paper (PDF file) |
github.com/fisherdj/miniAdapton | Complete source code--R6RS Scheme (GitHub) |
2015.splashcon.org/event/dls2015-control-flow-of-dynamic-lan... | 11th Dynamic Languages Symposium (DLS) |
github.com/webyrd/quines | Complete source code--R6RS Scheme (GitHub) |
schemeworkshop.org/2011/papers/Alvis2011.pdf | Full paper (PDF file) |
github.com/calvis/cKanren | Complete source code--R6RS Scheme (GitHub) |
github.com/eholk/harlan | Complete source code--R6RS Scheme (GitHub) |
osl.iu.edu/publications/prints/2011/2011-parco-holk-harlan.p... | Full paper (PDF file) |
osl.iu.edu/publications/prints/2011/holk11:padl.pdf | Full paper (PDF file) |
schemeworkshop.org/2009/scheme2009.pdf | Full proceedings (PDF file) |
scheme2006.cs.uchicago.edu/12-byrd.pdf | Full paper (PDF file) |
meetup.com/ja-JP/Tokyo-Haskell-Meetup/?_cookie-check=6IX88Ng... | Hygienic Scheme Macros & miniKanren |
leetspeak.se/2018/speakers.html#speaker-3 | The Next 100,000 Notions of 'Variable' |
sqlab.jp/FLOPS2018/ | miniKanren: a Family of Languages for Relational Programming |
sicss.connpass.com/event/83801/ | Lessons from Building an Interactive Biomedical Reasoning System |
clojuresync.com/will-byrd/ | Personal Data Preservation, Inspired by Ancient Writing |
meetup.com/Cambridge-NonDysFunctional-Programmers/events/246... | Implementing a Relational Programming Language in a Functional Language |
codemesh.io/#william-byrd | Meta-Programming in Logic Programming |
con.racket-lang.org/ | The Reasoned Racketeers |
podcasts.ox.ac.uk/unified-approach-solving-seven-programming... | Functional Pearl: A Unified Approach to Solving Seven Programming Problems |
meetup.com/papers-we-love/events/238718664/ | The Most Beautiful Program Ever Written |
meetup.com/LispNYC/events/236903739/ | Synthesis of Lisp Programs |
katsconf.com/#nav-speakers | Thinking About Recursion |
youtube.com/watch?v=er_lLvkklsk | Barliman: Trying the Halting Problem Backwards, Blindfolded |
conf.researchr.org/getImage/OBT-2016/orig/OBT_2016_paper_14.... | New Tools and Practices for Online Collaboration in Teaching, Learning, and Research of Programming Languages |
conf.researchr.org/event/POPL-2016/pepm-2016-invited-invited... | The Promise of Relational Programming |
vimeo.com/146117469 | A Vision for Relational Programming in miniKanren |
codemesh.io/codemesh2015/william-e-byrd | Concatenative Programming |
andykeep.com/SchemeWorkshop2015/ | Interpreting Scheme procedures as logic programs using miniKanren |
youtube.com/watch?v=eQL48qYDwp4 | The Promise of Relational Programming |
polyconf.com/ | Write a Relational Scheme Interpreter in miniKanren |
thestrangeloop.com/sessions/program-synthesis-using-minikanr... | Program Synthesis Using miniKanren |
meetup.com/Lambda-Lounge-Utah/events/164368252/ | Logic Night |
meetup.com/Lambda-Lounge-Utah/ | Lambda Lounge Utah |
ist.unomaha.edu/padl2014/#invited | miniKanren Tutorial |
talks.cam.ac.uk/talk/index/49257 | Relational Programming in miniKanren |
youtube.com/watch?v=7kPMFkNm2dw | From Greek to Clojure! |
infoq.com/presentations/chomsky-hierarchy | A Relational Exploration of the Chomsky Hierarchy |
lambdajam.com/sessions#amin | Program Transformations |
2013.flatmap.no/danwill.html | Fun with Relational Interpreters in miniKanren |
youtube.com/watch?v=fHK-uS-Iedc | miniKanren Philosophy |
infoq.com/presentations/miniKanren | Relational Programming in miniKanren |
math.indiana.edu/seminars/event.phtml?id=3355 | Generating Quines Using a Relational Interpreter |
youtube.com/watch?v=5Q9x16uIsKA | miniKanren |
vimeo.com/23254348 | Animatronic Kittehs, 3D Printers, and Rogue Game Studios --or-- Why Computer Science Education Should be Just-in-Time, not J... |
mostlyerlang.com/2014/11/26/050-minikanren-with-william-byrd... | Mostly Erlang Episode 050 -- miniKanren With William Byrd |
github.com/zkessin | Zachary Kessin |
functionalgeekery.com/episode-9-william-e-byrd/ | Functional Geekery Episode 9 -- William E. Byrd |
proctor-it.com/ | Proctor |
infoq.com/interviews/byrd-relational-programming-minikanren | William Byrd on Logic and Relational Programming, miniKanren |
infoq.com/ | InfoQ |
cs.indiana.edu/classes/c211/ | C211 |
cs.indiana.edu/classes/c311/ | C311 |
cs.indiana.edu/classes/b521/ | B521 |
cs.indiana.edu/classes/a290/ | A290 |
webyrd.github.io/veneer/examples/editor.html | Stanford Talk resources (November 2015) |
Внутренние ссылки главной страницы ( 12 ) | |
./index.html | William E. Byrd |
./byrd_cv.pdf | Curriculum Vitae (PDF file) |
#teaching | Teaching |
./frons/frons.pdf | Preprint (PDF file) |
./quines/quines.pdf | Full paper (PDF file) |
./alphaleantap/alphatap.pdf | Full paper (PDF file) |
./alphaleantap/alphaleanTAP.zip | Complete source code--R6RS Scheme and Prolog (.zip file) |
./arithm/arithm.pdf | Full paper (PDF file) |
./alphamk/alphamk_workshop.pdf | Full paper (PDF file) |
./alphamk/alphamk.pdf | (PDF file) |
./alphamk/alphamk.scm | Revised R5RS-compliant source code (.scm file) |
./stp.htm | St. Petersburg relational programming course resources (summer 2015) |
Domain names in the .com and .net domains can now be registered
with many different competing registrars. Go to http://www.internic.net
for detailed information.
Domain Name: WEBYRD.NET
Registrar: ENOM, INC.
Sponsoring Registrar IANA ID: 48
Whois Server: whois.enom.com
Referral URL: http://www.enom.com
Name Server: DNS1.REGISTRAR-SERVERS.COM
Name Server: DNS2.REGISTRAR-SERVERS.COM
Name Server: DNS3.REGISTRAR-SERVERS.COM
Name Server: DNS4.REGISTRAR-SERVERS.COM
Name Server: DNS5.REGISTRAR-SERVERS.COM
Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Updated Date: 01-oct-2015
Creation Date: 24-oct-2012
Expiration Date: 24-oct-2016
>>> Last update of whois database: Mon, 02 May 2016 14:24:03 GMT <<<
For more information on Whois status codes, please visit https://icann.org/epp
NOTICE: The expiration date displayed in this record is the date the
registrar's sponsorship of the domain name registration in the registry is
currently set to expire. This date does not necessarily reflect the expiration
date of the domain name registrant's agreement with the sponsoring
registrar. Users may consult the sponsoring registrar's Whois database to
view the registrar's reported date of expiration for this registration.
TERMS OF USE: You are not authorized to access or query our Whois
database through the use of electronic processes that are high-volume and
automated except as reasonably necessary to register domain names or
modify existing registrations; the Data in VeriSign Global Registry
Services' ("VeriSign") Whois database is provided by VeriSign for
information purposes only, and to assist persons in obtaining information
about or related to a domain name registration record. VeriSign does not
guarantee its accuracy. By submitting a Whois query, you agree to abide
by the following terms of use: You agree that you may use this Data only
for lawful purposes and that under no circumstances will you use this Data
to: (1) allow, enable, or otherwise support the transmission of mass
unsolicited, commercial advertising or solicitations via e-mail, telephone,
or facsimile; or (2) enable high volume, automated, electronic processes
that apply to VeriSign (or its computer systems). The compilation,
repackaging, dissemination or other use of this Data is expressly
prohibited without the prior written consent of VeriSign. You agree not to
use electronic processes that are automated and high-volume to access or
query the Whois database except as reasonably necessary to register
domain names or modify existing registrations. VeriSign reserves the right
to restrict your access to the Whois database in its sole discretion to ensure
operational stability. VeriSign may restrict or terminate your access to the
Whois database for failure to abide by these terms of use. VeriSign
reserves the right to modify these terms at any time.
The Registry database contains ONLY .COM, .NET, .EDU domains and
Registrars.
Domain Name: WEBYRD.NET
Registry Domain ID: 1754545670_DOMAIN_NET-VRSN
Registrar WHOIS Server: whois.enom.com
Registrar URL: www.enom.com
Updated Date: 2015-09-25T02:15:15.00Z
Creation Date: 2012-10-24T22:00:00.00Z
Registrar Registration Expiration Date: 2016-10-24T21:00:13.00Z
Registrar: ENOM, INC.
Registrar IANA ID: 48
Reseller: NAMECHEAP.COM
Domain Status: clientTransferProhibited https://www.icann.org/epp#clientTransferProhibited
Registry Registrant ID:
Registrant Name: WILLIAM BYRD
Registrant Organization: ME
Registrant Street: 343 S 500 E
Registrant Street: APT 429
Registrant City: SALT LAKE CITY
Registrant State/Province: UT
Registrant Postal Code: 84102
Registrant Country: US
Registrant Phone: +1.8123208505
Registrant Phone Ext:
Registrant Fax: +1.8123208505
Registrant Fax Ext:
Registrant Email: WEBYRD@GMAIL.COM
Registry Admin ID:
Admin Name: WILLIAM BYRD
Admin Organization: ME
Admin Street: 343 S 500 E
Admin Street: APT 429
Admin City: SALT LAKE CITY
Admin State/Province: UT
Admin Postal Code: 84102
Admin Country: US
Admin Phone: +1.8123208505
Admin Phone Ext:
Admin Fax: +1.8123208505
Admin Fax Ext:
Admin Email: WEBYRD@GMAIL.COM
Registry Tech ID:
Tech Name: WILLIAM BYRD
Tech Organization: ME
Tech Street: 343 S 500 E
Tech Street: APT 429
Tech City: SALT LAKE CITY
Tech State/Province: UT
Tech Postal Code: 84102
Tech Country: US
Tech Phone: +1.8123208505
Tech Phone Ext:
Tech Fax: +1.8123208505
Tech Fax Ext:
Tech Email: WEBYRD@GMAIL.COM
Name Server: DNS1.REGISTRAR-SERVERS.COM
Name Server: DNS2.REGISTRAR-SERVERS.COM
Name Server: DNS3.REGISTRAR-SERVERS.COM
Name Server: DNS4.REGISTRAR-SERVERS.COM
Name Server: DNS5.REGISTRAR-SERVERS.COM
Registrar Abuse Contact Email: abuse@enom.com
Registrar Abuse Contact Phone: +1.4252982646
Last update of WHOIS database: 2015-09-25T02:15:15.00Z
США - 198.61.173.136
Rackspace Cloud Servers
Rackspace Hosting
HTTP/1.1 200 OK
Server: nginx/1.4.6 (Ubuntu)
Date: Wed, 24 Jul 2019 03:51:13 GMT
Content-Type: text/html
Content-Length: 24766
Last-Modified: Fri, 01 Feb 2019 04:23:47 GMT
Connection: keep-alive
ETag: "5c53c9d3-60be"
Accept-Ranges: bytes
Кнопка для анализа сайта в один клик, для установки перетащите ссылку на "Панель закладок"