<--- Back to Details
First PageDocument Content
Computing / Theoretical computer science / Programming language theory / Logic in computer science / Formal languages / Lambda calculus / Functional languages / Markup languages / Explicit substitution / International Conference on Rewriting Techniques and Applications / XSLT / Combinatory logic
Date: 2015-09-22 13:54:54
Computing
Theoretical computer science
Programming language theory
Logic in computer science
Formal languages
Lambda calculus
Functional languages
Markup languages
Explicit substitution
International Conference on Rewriting Techniques and Applications
XSLT
Combinatory logic

Resum´e Kristoffer Høgsbro Rose, Ph.D. , & (+SeptemberEmployment

Add to Reading List

Source URL: krisrose.net

Download Document from Source Website

File Size: 116,86 KB

Share Document on Facebook

Similar Documents

PDF Document

DocID: 1w7NV - View Document

Usages offensifs de XSLT Nicolas Gr´egoire Agarri nicolas.gregoire(@)agarri.fr http://www.agarri.fr/

DocID: 1vnFe - View Document

XSLT Conversion between XLIFF and RDF Dimitra Anastasiou SFB/TR8 Computer Science/Languages Science University of Bremen Bremen, Germany

DocID: 1v3VX - View Document

Adlib GebruikersdagadlibXML/XSLT in de praktijk Breukelen – 2 mei 2013 Solino de Baay

DocID: 1v12e - View Document

XSLT Map Programming Otakar Čerba University of West Bohemia (Plzen, Czech Republic) CartoTalks, 15 November 2013, Vienna (Austria)

DocID: 1uxAz - View Document