Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,190,169 papers from all fields of science
Search
Sign In
Create Free Account
Camlp4
Camlp4 is a software system for writing extensible parsers for programming languages. It provides a set of OCaml libraries that are used to define…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
Abstract syntax tree
CSV application support
Caml
Compiler
Expand
Broader (1)
Parsing
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
The Semantics of Syntax Applying Denotational Semantics to Hygienic Macro Systems
N. Krishnaswami
2015
Corpus ID: 30171743
Typically, when semanticists hear the words “Scheme” or “Lisp”, what comes to mind is “untyped lambda calculus plus higher-order…
Expand
2014
2014
Project H: Programming R in Haskell
Preliminary Draft
,
Mathieu Boespflug
,
Facundo Domínguez
,
A. Vershilov
,
Allen L. Brown
2014
Corpus ID: 54912370
A standard method for augmenting the “native” set of libraries available within any given programming environment is to extend…
Expand
2011
2011
Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web
F. Chyzak
,
Alexis Darrasse
ACM SIGPLAN International Conference on…
2011
Corpus ID: 14327800
We report on the design and implementation of a programming tool, DynaMoW, to control interactive and incremental mathematical…
Expand
2011
2011
Design of a BPEL Verification Tool
Elie Fares
,
J. Bodeveix
,
M. Filali
Web Services and Formal Methods
2011
Corpus ID: 43784635
The objective of this paper is to define a formal framework for expressing a BPEL transformation based semantics of BPEL…
Expand
Review
2010
Review
2010
Camlp4 and Template Haskell
Jake Donham
,
N. Pouillard
CUFP '10
2010
Corpus ID: 42460457
"Static metaprogramming" is compile-time code analysis and synthesis. It has many applications, such as (from simple to complex…
Expand
2010
2010
Statically-typed value persistence for ML
Thomas Gazagnaire
,
Anil Madhavapeddy
2010
Corpus ID: 16579553
We present a set of extensions to the OCaml language which add support for statically generating typed accessor functions for…
Expand
Review
2007
Review
2007
Modern Extensible Languages
Daniel Zingaro
2007
Corpus ID: 11334130
Extensible languages are programming languages which allow a user to modify or add syntax, and associate the new syntactic forms…
Expand
2007
2007
Gestion de versions de formats avec Camlp4
Fabrice Le Fessant
2007
Corpus ID: 160592202
La gestion des changements de formats est un probleme crucial de l'informatique : encore aujourd'hui, peu d'applications sont…
Expand
2004
2004
Compile-time metaprogramming in Converge
L. Tratt
2004
Corpus ID: 14208797
Compile-time meta-programming allows programs to be constructed by the user at compile-time. Few modern languages are capable of…
Expand
2002
2002
VM lambda: a Functional Calculus for Scientific Discovery
Eijiro Sumii
,
H. Bannai
Asian Symposium on Programming Languages and…
2002
Corpus ID: 2976948
We present VM?, a formalization and implementation of the functional language VML.VML is a programming language proposed by…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE