BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Hungary
1 × Ireland
2 × Germany
3 × Italy
3 × USA
Collaborated with:
B.Braßel M.Hanus S.Fischer O.Chitil G.Vidal F.Kupke J.Christiansen U.Norbisrath ∅ T.Wilke P.Niederau J.Silva
Talks about:
program (6) function (4) haskel (4) logic (4) paradigm (2) concurr (2) object (2) declar (2) comput (2) trace (2)

Person: Frank Huch

DBLP DBLP: Huch:Frank

Facilitated 2 volumes:

IFL 2005Ed
IFL 2004Ed

Contributed to:

ICFP 20102010
ICFP 20072007
IFL 20062006
LOPSTR 20062006
IFL 20052005
ICFP 20042004
LOPSTR 20042004
PADL 20042004
PPDP 20042004
IFL 20002000
ICFP 19991999

Wrote 12 papers:

ICFP-2010-FischerHW #functional #game studies #regular expression
A play on regular expressions: functional pearl (SF, FH, TW), pp. 357–368.
ICFP-2007-BrasselHFHV #call-by #evaluation #lazy evaluation
Lazy call-by-value evaluation (BB, MH, SF, FH, GV), pp. 265–276.
IFL-2006-ChitilH #haskell #lazy evaluation #logic
A Pattern Logic for Prompt Lazy Assertions in Haskell (OC, FH), pp. 126–144.
LOPSTR-2006-BrasselFH #functional #logic #program transformation
A Program Transformation for Tracing Functional Logic Computations (BB, SF, FH), pp. 160–176.
IFL-2005-HuchK #composition #concurrent #haskell #implementation #memory management #transaction
A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell (FH, FK), pp. 124–141.
ICFP-2004-ChristiansenH #concurrent #debugging #haskell #source code
Searching for deadlocks while debugging concurrent haskell programs (JC, FH), pp. 28–39.
LOPSTR-2004-BrasselHHSV #functional #logic programming #profiling #runtime #source code
Run-Time Profiling of Functional Logic Programs (BB, MH, FH, JS, GV), pp. 182–197.
PADL-2004-BrasselCHH #functional #logic
Observing Functional Logic Computations (BB, OC, MH, FH), pp. 193–208.
PPDP-2004-BrasselHHV #declarative #multi #semantics #source code
A semantics for tracing declarative multi-paradigm programs (BB, MH, FH, GV), pp. 179–190.
IFL-2000-HanusHN #declarative #multi #named #object-oriented
ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry (MH, FH, PN), pp. 89–106.
IFL-2000-HuchN #distributed #haskell #programming
Distributed Programming in Haskell with Ports (FH, UN), pp. 107–121.
ICFP-1999-Huch #abstract interpretation #erlang #source code #using #verification
Verification of Erlang Programs using Abstract Interpretation and Model Mhecking (FH), pp. 261–272.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.