|
Search the dblp DataBase
Andres Löh:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ralf Hinze, Johan Jeuring, Andres Löh
Typed Contracts for Functional Programming. [Citation Graph (0, 0)][DBLP] FLOPS, 2006, pp:208-225 [Conf]
- Ralf Hinze, Andres Löh, Bruno C. D. S. Oliveira
"Scrap Your Boilerplate" Reloaded. [Citation Graph (0, 0)][DBLP] FLOPS, 2006, pp:13-29 [Conf]
- Daan Leijen, Andres Löh
Qualified types for MLF. [Citation Graph (0, 0)][DBLP] ICFP, 2005, pp:144-155 [Conf]
- Andres Löh, Dave Clarke, Johan Jeuring
Dependency-style generic Haskell. [Citation Graph (0, 0)][DBLP] ICFP, 2003, pp:141-152 [Conf]
- Dave Clarke, Andres Löh
Generic Haskell, Specifically. [Citation Graph (0, 0)][DBLP] Generic Programming, 2002, pp:21-47 [Conf]
- Ralf Hinze, Johan Jeuring, Andres Löh
Type-Indexed Data Types. [Citation Graph (0, 0)][DBLP] MPC, 2002, pp:148-174 [Conf]
- Ralf Hinze, Andres Löh
"Scrap Your Boilerplate" Revolutions. [Citation Graph (0, 0)][DBLP] MPC, 2006, pp:180-208 [Conf]
- Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
Generic Views on Data Types. [Citation Graph (0, 0)][DBLP] MPC, 2006, pp:209-234 [Conf]
- Andres Löh, Ralf Hinze
Open data types and open functions. [Citation Graph (0, 0)][DBLP] PPDP, 2006, pp:133-144 [Conf]
- Arthur I. Baars, Andres Löh, S. Doaitse Swierstra
Parsing permutation phrases. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2004, v:14, n:6, pp:635-646 [Journal]
- Ulrik Brandes, Vanessa Kääb, Andres Löh, Dorothea Wagner, Thomas Willhalm
Dynamic WWW Structures in 3D. [Citation Graph (0, 0)][DBLP] J. Graph Algorithms Appl., 2000, v:4, n:3, pp:183-191 [Journal]
- Ralf Hinze, Johan Jeuring, Andres Löh
Type-indexed data types. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2004, v:51, n:1-2, pp:117-151 [Journal]
- Bruno C. D. S. Oliveira, Ralf Hinze, Andres Löh
Extensible and modular generics for the masses. [Citation Graph (0, 0)][DBLP] Trends in Functional Programming, 2006, pp:199-216 [Conf]
PiSigma: Dependent Types without the Sugar. [Citation Graph (, )][DBLP]
Generic programming with fixed points for mutually recursive datatypes. [Citation Graph (, )][DBLP]
Report on the tenth ICFP programming contest. [Citation Graph (, )][DBLP]
NixOS: a purely functional Linux distribution. [Citation Graph (, )][DBLP]
Dependently Typed Grammars. [Citation Graph (, )][DBLP]
Optimizing generics is easy! [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
|