Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal

Registered user since Fri 1 Feb 2019

Name: Andreia Mordido

Affiliation: Lasige / Faculty of Sciences, Universidade de Lisboa

Contributions

BEAT 2019 Checking the Equivalence of Context-Free Session Types
Show activities from other conferences

POPL 2019-profile
View general profile
https://popl19.sigplan.org/profile/andreiamordido
popl19.sigplan.org
crawl=CC-MAIN-2021-10
28599
application/http; msgtype=response
sha1:I7J6BO5VL7TJPDD3PJP6AM6E4H77ETOB
<urn:uuid:d1d4599c-269e-40ce-be05-d9454d567d31>
2021-03-08T10:11:42Z
131.180.119.44
text/html
sha1:UXQRPCI36HRWV4KTUPHOPA6WOHBEMQBT
<urn:uuid:7e8b7740-b6ab-4b66-8c37-ab2664cceaf1>
https://popl19.sigplan.org/profile/andreiamordido
response
<urn:uuid:cf082ba7-28da-4e62-957b-c9017e70281b>
isPartOf: CC-MAIN-2021-10
publisher: Common Crawl
description: Wide crawl of the web for February/March 2021
operator: Common Crawl Admin (info@commoncrawl.org)
hostname: ip-10-67-67-147.ec2.internal
software: Apache Nutch 1.18 (modified, https://github.com/commoncrawl/nutch/)
robots: checked via crawler-commons 1.2-SNAPSHOT (https://github.com/crawler-commons/crawler-commons)
format: WARC File Format 1.1
conformsTo: http://iipc.github.io/warc-specifications/specifications/warc-format/warc-1.1/