Searched: Philip *Wadler[^A-Za-z]
Results from PEPM14 web
The list of accepted papers and their abstracts are shown below, in no particular order. Regular Research Papers: Meng Wang, Shayan Najd: Semantic Bidirectionalization ...
Monday, January 20th, 2014 09:00 10:00 Invited Talk Session Chair: Wei-Ngan Chin Michal Moskal: Lessons from a Web-Based IDE and Runtime 10:30 12:00 Meta-Programming ...
Number of topics: 2
Results from Stratego web
A. van Dam. Extending Dynamic Rules. An Application-Oriented Study into Stratego's new Dynamic Rules. Master's thesis, Utrecht University, Utrecht, The Netherlands ...
tfof-deforest is a small demo package around a case study into transformation of functional programs, more specifically: on eliminating intermediate trees by deforestation ...
2004-02-25 Nemerle is a new hybrid (functional, object-oriented and imperative) programming language for the .NET platform. Key features of the language include: ...
Number of topics: 3
Results from Transform web
Deforestation is a ProgramTransformation that eliminates intermediate data-structures (trees). The technique was invented by PhilipWadler for optimization of functional ...
PhilipWadler. Deforestation: Transforming Programs to Eliminate Trees. European Symposium on Programming (ESOP'88) , Nancy, France. Lecture Notes in Computer Science ...
A Term Pattern-Match Compiler Inspired by Finite Automata Theory by MikaelPettersson In International Workshop on Compiler Construction (CC'92) LNCS 641, SpringerVerlag ...
Number of topics: 3
Results from WebDSL web
2004-02-25 Nemerle is a new hybrid (functional, object-oriented and imperative) programming language for the .NET platform. Key features of the language include: ...
Number of topics: 1