CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
5 research outputs found
Embedding Invertible Languages with Binders - A Case of the FliPpr Language:St. Louis, MO, USA — September 27 - 28, 2018
Author
Atkey Robert
Atkey Robert
+23Â more
Chlipala Adam
Claessen Koen
Danielsson Nils Anders
Duregård Jonas
Frost Richard A.
Glück Robert
Hu Qinheping
Hughes John
Keuchel Steven
Kiselyov Oleg
Matsuda Kazutaka
Matsuda Kazutaka
Matsuda Kazutaka
Matsuda Kazutaka
Matsuda Kazutaka
Nishida Naoki
Pacheco Hugo
Pacheco Hugo
Paterson Ross
Polakow Jeff
Rendel Tillmann
Wadler Philip
Yokoyama Tetsuo
Publication venue
'Association for Computing Machinery (ACM)'
Publication date
01/01/2018
Field of study
Get PDF
Crossref
Explore Bristol Research
Sparcl:A Language for Partially-Invertible Computation
Author
Matsuda Kazutaka
Wang Meng
Publication venue
'Association for Computing Machinery (ACM)'
Publication date
01/08/2020
Field of study
Get PDF
Explore Bristol Research
Derivation of deterministic inverse programs based on LR parsing
Author
Glück Robert
Kawabe Masahiko
Publication venue
'Springer Science and Business Media LLC'
Publication date
01/01/2004
Field of study
No full text
Copenhagen University Research Information System