Abstract | ||
---|---|---|
We describe the core of a new strongly-typed functional programming language called LEAP, a Language with Eval And Polymorphism. Pure LEAP is an extension of the -order polymorphic -calculus (F
) by global definitions that allows the representation of programs and the definition of versions of reify, reflect, and eval for all of (F
). Pure LEAP is therefore highly reflexive and strongly typed. We believe that Pure LEAP can be extended to a practical and efficient metalanguage in the ML tradition. At present we are experimenting with a prototype implementation of Pure LEAP. |
Year | DOI | Venue |
---|---|---|
1989 | 10.1007/3-540-50940-2_46 | TAPSOFT, Vol.1 |
Keywords | Field | DocType |
polymorphism,functional programming language | Reflexivity,Programming language,Functional programming,Computer science,eval,Object language,Type inference,Metalanguage,Artificial intelligence,Natural language processing,Type variable | Conference |
Volume | ISSN | ISBN |
352 | 0302-9743 | 3-540-50940-2 |
Citations | PageRank | References |
19 | 2.33 | 12 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Frank Pfenning | 1 | 3376 | 265.34 |
Peter Lee 0001 | 2 | 975 | 147.71 |