Meta tags:

Headings (most frequently used words):

-

Text of the page (most frequently used words):
the (80), haskell (69), presented (66), programming (60), pdf (52), generic (52), löh (49), andres (48), and (36), with (24), functional (23), university (22), for (20), meeting (19), 2010 (17), 2006 (16), johan (16), jeuring (16), 2005 (15), types (15), icfp (13), ifip (13), utrecht (12), workshop (11), 2009 (11), typed (11), 2014 (11), type (11), available (11), may (10), data (10), 2008 (10), wgp (10), 2018 (10), from (10), july (9), 2003 (9), languages (9), 2022 (9), ralf (9), hinze (9), was (9), june (8), october (8), datatype (8), 2013 (8), version (7), 2002 (7), august (7), september (7), february (7), 2011 (7), 2012 (7), stefan (7), holdermans (7), josé (7), pedro (7), magalhães (7), supervised (7), functions (6), march (6), computer (6), science (6), april (6), open (6), january (6), mpc (6), 2015 (6), via (6), 2020 (6), conference (6), 2023 (6), online (6), swierstra (6), german (5), november (5), 2001 (5), lhs2tex (5), 2004 (5), datatypes (5), flops (5), ppdp (5), 2007 (5), dependently (5), exchange (5), are (5), alexey (5), rodriguez (5), courses (5), course (4), project (4), 2000 (4), konstanz (4), stc (4), revised (4), tallinn (4), advanced (4), your (4), nixos (4), indexed (4), london (4), introduction (4), 2017 (4), bob (4), berlin (4), program (4), deriving (4), 2021 (4), homepage (4), germany (4), report (4), eelco (4), sean (4), leather (4), pepm (4), nicolas (4), chair (4), teaching (4), 2026 (3), language (3), guest (3), lecture (3), explicit (3), style (3), nottingham (3), freiburg (3), talk (3), grammars (3), structures (3), scrap (3), boilerplate (3), dependent (3), day (3), fixed (3), points (3), bonn (3), parallel (3), true (3), sums (3), products (3), level (3), domain (3), specific (3), generics (3), design (3), systems (3), semantics (3), 2025 (3), gentoo (3), its (3), own (3), linux (3), used (3), acm (3), sigplan (3), doaitse (3), proceedings (3), technical (3), phd (3), bruno (3), oliveira (3), 2016 (3), wouter (3), symposium (3), msfp (3), matthew (3), pickering (3), international (3), well (3), member (3), system (2), introductory (2), package (2), latex (2), paper (2), prototype (2), software (2), into (2), aspects (2), dagstuhl (2), specifically (2), recursion (2), exercises (2), uppsala (2), dependency (2), typesetting (2), more (2), theory (2), days (2), institute (2), cybernetics (2), qualified (2), reloaded (2), contracts (2), trinity (2), dutch (2), diff (2), library (2), mutually (2), recursive (2), research (2), universes (2), storage (2), tübingen (2), munich (2), lambda (2), code (2), deterministic (2), web (2), apis (2), servant (2), effects (2), tutorial (2), staged (2), zurihac (2), staging (2), this (2), application (2), that (2), you (2), there (2), portage (2), bpl (2), preprocessor (2), approaches (2), compiler (2), applications (2), jeremy (2), dave (2), clarke (2), also (2), thesis (2), exploring (2), draft (2), views (2), tenth (2), estonia (2), daan (2), leijen (2), tfp (2), most (2), control (2), dolstra (2), van (2), easy (2), implementation (2), lempsink (2), ifl (2), kasper (2), brink (2), sebastiaan (2), visser (2), padl (2), specification (2), template (2), mathematically (2), structured (2), implementors (2), hiw (2), der (2), declarative (2), past (2), students (2), interested (2), related (2), topics (2), llp (2), organiser (2), host (2), board (2), 2024 (2), researcher (2), mail (2), generalized, cullen, primes, günter, pbem, role, playing, saga, ars, magica, selectio, naturalis, incomplete, links, polytable, tar, aller, guten, konjunktive, sind, drei, describing, poster, miscellaneous, second, first, generation, bringing, world, uu_ag, attributes, catamorphisms, amber, release, wcgp, recovering, dec, ding, files, appsem, generalizing, dependencies, case, function, estonian, koke, structural, polymorphism, attribute, uuag, extensible, tokyo, fuji, susono, venice, group, tti, chicago, kyoto, implementing, general, math, colloqium, terminating, combinator, parsers, agda, park, city, utah, kiel, weltenburg, abbey, chalmers, multirec, edinburgh, hug, everything, baltimore, capgemini, edsls, reykjavik, expanding, universe, ghc, generically, rome, parallelizing, maximal, clique, enumeration, dsls, skills, matter, big, tech, distributed, cloud, monads, free, meetup, samples, zip, gothenburg, lökeberg, migrations, vancouver, monadic, warsaw, evolving, write, one, get, two, three, many, iohk, global, summit, lisbon, simulating, liquid, brandenburg, otterlo, sop, journey, love, zero, overhead, abstractions, using, nwerc, lies, false, truths, importance, evidence, operational, december, hello, haskellx, structuring, effectful, programs, cnrs, iscpif, paris, abstraction, power, parametricity, talks, really, small, reminds, upcoming, birthdays, inofficial, overlay, ebuild, source, tarball, hsbirthdays, interpreter, page, reimplementation, layer, manager, emerge, exi, offer, functionality, these, several, other, better, supported, easier, use, old, releases, still, generate, literate, sources, download, downloads, journal, graph, algorithms, 183, 191, dynamic, www, ulrik, brandes, vanessa, kääb, thomas, willhalm, parsing, permutation, phrases, arthur, baars, gibbons, editors, tc2, wg2, working, pages, 243, kluwer, isbn, 4020, 7374, 022, eight, sweden, 012, mlf, inference, ssdgp, now, revolutions, won, influential, award, unpublished, principled, approach, contest, jurriaan, hage, bastiaan, heeren, clara, arie, middelkoop, john, schie, purely, distribution, fundamenta, informaticae, simply, calculus, conor, mcbride, safe, families, pull, ups, push, downs, passing, around, incrementalization, optimizing, without, sugar, thorsten, altenkirch, nils, anders, danielsson, oury, mechanism, atze, dijkstra, functors, formal, comparison, cise, duncan, coutts, abstract, syntax, graphs, changing, rewriting, preserving, transformation, bram, schuur, formalizing, semantic, bidirectionalization, helmut, grohne, janis, voigtländer, edsko, vries, onward, hierarchy, libraries, exercise, alp, mestanogullari, sönke, hahn, julian, arni, how, turn, hand, written, instances, anti, pattern, baldur, blöndal, ryan, scott, rejected, popl, class, ningning, xie, yallop, meng, wang, see, dblp, publications, partial, evaluation, manipulation, generative, component, engineering, gpce, treffen, universität, leipzig, hal8, commercial, users, cufp, meets, verification, plpv, arbeitstagung, programmiersprachen, atps, logic, principles, practice, trends, practical, architecture, large, memberships, steven, keuchel, remi, turk, piet, rodenburg, chris, eidhof, ingmar, steen, vali, georgescul, gideon, smeding, robert, stremler, master, hiring, please, contact, developer, both, specialised, such, dsl, time, regularly, been, following, compilers, contributor, kosmi, dunkosmiloolump, summer, school, applied, munihac, youtube, series, unfolder, podcast, interlude, secretary, foundation, lecturer, netherlands, worked, visiting, where, finished, field, 1995, studied, mathematics, gfp, currently, partner, consultant, kosmikus, cafe, mastodon, loeh,

Text of the page (random words):
une to july 2005 i worked at the university of freiburg in germany in february and march 2005 i was a visiting researcher at the institute of cybernetics in tallinn estonia from 2000 to 2005 i was at utrecht university where i finished my phd in the field of computer science in september 2004 from 1995 to 2000 i studied mathematics and computer science in konstanz germany from 2023 to 2026 i was a board member of the haskell foundation i was secretary from 2023 to 2024 and chair of the board from 2024 to 2026 i am a co host of the haskell interlude podcast i am a co host of the haskell unfolder youtube series i was a co organiser of munihac 2016 2022 i was the pc chair of the haskell exchange 2013 2018 i was the organiser of the utrecht summer school on applied functional programming 2009 and 2010 i am the kosmi in dunkosmiloolump i am a member of ifip wg 2 1 research i am interested in functional programming programming language theory type systems dependently typed programming languages and applications of functional programming i used to be a member of the generic programming project at utrecht university i used to be a contributor to nixos and gentoo linux thesis exploring generic haskell teaching if you are interested in hiring me for teaching courses related to haskell or related topics please contact well typed llp i am the developer of most of the courses we are teaching at well typed both introductory and advanced haskell courses and courses on specialised topics such as compiler dsl design datatype generic or type level programming in my time at utrecht university i ve regularly been teaching the following courses introduction to functional programming languages and compilers advanced functional programming type systems and dependently typed programming past phd students josé pedro magalhães co supervised with johan jeuring and doaitse swierstra past master students steven keuchel co supervised with johan jeuring remi turk co supervised with piet rodenburg sebastiaan visser chris eidhof co supervised with doaitse swierstra ingmar van der steen vali georgescul co supervised with alexey rodriguez gideon smeding kasper brink co supervised with stefan holdermans eelco lempsink co supervised with sean leather robert stremler pc memberships haskell symposium 2025 workshop on functional software architecture fp in the large 2023 international conference on functional programming icfp 2022 practical aspects of declarative languages padl 2022 haskell implementors workshop hiw 2021 haskell symposium 2018 trends in functional programming tfp 2018 principles and practice of declarative programming ppdp 2017 functional and logic programming flops 2016 arbeitstagung programmiersprachen atps 2014 programming languages meets program verification plpv 2014 commercial users of functional programming cufp 2013 haskell treffen an der universität leipzig hal8 2013 workshop on generic programming wgp 2012 chair implementation and application of functional languages ifl 2011 haskell implementors workshop hiw 2011 generative programming and component engineering gpce 2010 international conference on functional programming icfp 2010 workshop on partial evaluation and program manipulation pepm 2010 workshop on generic programming wgp 2009 mathematically structured functional programming msfp 2008 international conference on functional programming icfp 2006 mathematically structured functional programming msfp 2006 haskell workshop 2006 chair haskell workshop 2005 publications see also dblp 2022 ningning xie matthew pickering andres löh nicolas wu jeremy yallop meng wang staging with class a specification for typed template haskell popl 2022 2020 matthew pickering andres löh nicolas wu staged sums of products haskell 2020 matthew pickering andres löh nicolas wu a specification for typed template haskell rejected from icfp 2020 2018 baldur blöndal andres löh ryan scott deriving via or how to turn hand written instances into an anti pattern haskell 2018 2015 alp mestanogullari sönke hahn julian k arni andres löh type level web apis with servant an exercise in domain specific generic programming wgp 2015 josé pedro magalhães andres löh hierarchy in generic programming libraries mpc 2015 2014 wouter swierstra andres löh the semantics of version control onward 2014 edsko de vries andres löh true sums of products wgp 2014 helmut grohne andres löh janis voigtländer formalizing semantic bidirectionalization with dependent types bx 2014 sean leather johan jeuring andres löh and bram schuur type changing rewriting and semantics preserving transformation pepm 2014 josé pedro magalhães andres löh generic generic programming padl 2014 2013 bruno c d s oliveira andres löh abstract syntax graphs for domain specific languages pepm 2013 2012 duncan coutts andres löh deterministic parallel programming with haskell cise josé pedro magalhães andres löh a formal comparison of approaches to datatype generic programming msfp 2012 2011 andres löh josé pedro magalhães generic programming with indexed functors wgp 2011 2010 josé pedro magalhães atze dijkstra johan jeuring andres löh a generic deriving mechanism for haskell haskell symposium 2010 sebastiaan visser andres löh generic storage in haskell wgp 2010 kasper brink stefan holdermans andres löh dependently typed grammars mpc 2010 thorsten altenkirch nils anders danielsson andres löh nicolas oury πς dependent types without the sugar flops 2010 josé pedro magalhães stefan holdermans johan jeuring andres löh optimizing generics is easy pepm 2010 2009 sean leather andres löh johan jeuring pull ups push downs and passing it around exercises in functional incrementalization ifl 2009 eelco lempsink sean leather andres löh type safe diff for families of datatypes wgp 2009 alexey rodriguez stefan holdermans andres löh johan jeuring generic programming with fixed points for mutually recursive datatypes icfp 2009 andres löh conor mcbride wouter swierstra a tutorial implementation of a dependently typed lambda calculus fundamenta informaticae revised version of simply easy 2008 eelco dolstra andres löh nixos a purely functional linux distribution icfp 2008 eelco dolstra jurriaan hage bastiaan heeren stefan holdermans johan jeuring andres löh clara löh arie middelkoop alexey rodriguez john van schie report on the tenth icfp programming contest icfp 2008 2007 ralf hinze andres löh generic programming in 3d science of computer programming 2006 andres löh wouter swierstra daan leijen a principled approach to version control unpublished draft andres löh ralf hinze open data types and open functions ppdp 2006 won the most influential ppdp 06 paper award at ppdp 2016 ralf hinze andres löh scrap your boilerplate revolutions mpc 2006 stefan holdermans johan jeuring andres löh alexey rodriguez generic views on data types mpc 2006 bruno c d s oliveira ralf hinze andres löh generics as a library tfp 2006 ralf hinze andres löh generic programming now ssdgp 2006 ralf hinze andres löh bruno c d s oliveira scrap your boilerplate reloaded flops 2006 ralf hinze johan jeuring andres löh typed contracts for functional programming flops 2006 2005 alexey rodriguez johan jeuring andres löh type inference for generic haskell technical report of utrecht university daan leijen andres löh qualified types for mlf proceedings of the tenth acm sigplan icfp 2005 tallinn estonia available online stefan holdermans johan jeuring andres löh generic views on data types technical report uu cs 2005 012 of utrecht university draft available online 2004 andres löh exploring generic haskell phd thesis utrecht university available online ralf hinze johan jeuring andres löh type indexed data types science of computer programming 2003 andres löh dave clarke johan jeuring dependency style generic haskell proceedings of the eight acm sigplan icfp 2003 uppsala sweden also available as technical report uu cs 2003 022 of utrecht university available online 2002 dave clarke andres löh generic haskell specifically jeremy gibbons and johan jeuring editors generic programming ifip tc2 wg2 1 working conference on generic programming july 11 12 2002 dagstuhl germany pages 21 47 ifip conference proceedings 243 kluwer isbn 1 4020 7374 7 ralf hinze johan jeuring andres löh type indexed data types mpc 2002 2001 arthur baars andres löh s doaitse swierstra parsing permutation phrases acm sigplan 2001 haskell workshop available online 2000 ulrik brandes vanessa kääb andres löh thomas willhalm dynamic www structures in 3d journal of graph algorithms and applications 4 3 183 191 available online downloads lhs2tex lhs2tex is a preprocessor to generate latex code from literate haskell sources it is available for download via its own homepage generic haskell generic haskell used to offer generic programming functionality in haskell as a preprocessor these days there are several other approaches to generic programming that are better supported and easier to use old releases of the generic haskell compiler are still available exi this is a reimplementation of the emerge layer of gentoo linux s package manager portage in haskell available via its own homepage bpl an interpreter for the bpl programming language available via its own homepage page in german hsbirthdays this is a really small haskell application that reminds you of upcoming birthdays there is the source tarball and an inofficial gentoo ebuild for your portage overlay talks abstraction and program design or the power of parametricity presented at bob 2025 berlin march 2025 haskell and explicit effects presented at cnrs iscpif paris april 2023 structuring effectful programs presented at bob 2023 berlin march 2023 hello haskellx an introduction to io in haskell presented at haskell exchange 2022 december 2022 an introduction to type systems and operational semantics presented at zurihac 2022 june 2022 design with types in haskell october 2021 true lies and false truths on the importance of evidence in programming presented at nwerc 2021 march 2021 zero overhead abstractions in haskell using staging presented at haskell love conference july 2020 datatype generic programming a generic journey presented at zurihac june 2020 staged generics sop presented at the ifip wg 2 1 meeting in otterlo january 2020 deriving via presented at the haskell exchange london october 2018 deriving via presented at the ifip wg 2 1 meeting in brandenburg july 2018 liquid haskell tutorial presented at bob 2018 berlin february 2018 simulating effects in domain specific languages presented at iohk global summit lisbon january 2018 write one program get two or three or many presented at bob 2017 berlin february 2017 evolving datatypes presented at monadic warsaw january 2017 type level web apis with servant presented at wgp 2015 in vancouver august 2015 datatype generic data migrations presented at the ifip wg 2 1 meeting in lökeberg august 2015 true sums of products pdf presented at wgp 2014 in gothenburg august 2014 an introduction to deterministic parallel programming in haskell pdf with code samples zip presented at the munich lambda meetup february 2014 monads for free pdf presented at the haskell exchange in london october 2013 distributed programming with cloud haskell pdf presented at big tech day 6 in munich june 2013 datatype generic programming in haskell pdf presented at skills matter in london april 2013 haskell for e dsls pdf presented at the functional programming exchange in london march 2012 parallelizing maximal clique enumeration in haskell pdf presented at the ifip wg 2 1 meeting in rome february 2012 programming with universes generically pdf presented at the university of tübingen january 2012 datatype generic programming in haskell pdf presented at the university of tübingen january 2012 the parallel ghc project pdf presented at the university of bonn may 2011 datatype generic programming in haskell pdf presented at the university of bonn may 2011 expanding the universe pdf presented at the ifip wg 2 1 meeting in reykjavik may 2011 haskell for edsls pdf presented at capgemini october 2010 generic storage in haskell pdf presented at wgp 2010 in baltimore september 2010 types universes and everything pdf presented at the computer science research day at utrecht university may 2010 dependently typed grammars pdf presented at mpc 2010 june 2010 lhs2tex pdf presented at the dutch hug meeting october 2009 generic programming with fixed points for mutually recursive datatypes pdf presented at icfp 2009 in edinburgh september 2009 generic programming with the multirec library pdf presented at chalmers university may 2009 generic diff pdf presented at the ifip 2 1 meeting at weltenburg abbey april 2009 indexed fixed points pdf presented at the gp meeting at utrecht university november 2008 nixos in german pdf presented at the university of kiel july 2008 nixos pdf presented at the ifip wg 2 8 meeting in park city utah june 2008 terminating combinator parsers in agda pdf presented at the stc june 2008 types in functional programming languages pdf presented at the uu general math colloqium may 2008 trinity pdf presented at the dutch fp day january 2008 implementing dependent types in haskell pdf presented at the ifip wg 2 1 meeting in kyoto september 2007 contracts in trinity pdf presented at a programming languages group meeting at tti in chicago april 2007 open data types and open functions pdf presented at ppdp 2006 in venice july 2006 scrap your boilerplate reloaded pdf presented at flops 2006 in fuji susono april 2006 open data types and open functions pdf presented at tokyo university april 2006 qualified types for ml f pdf presented at icfp 2005 in tallinn september 2005 extensible datatypes pdf presented at the datatype generic programming workshop in utrecht august 2005 data structures ii pdf guest lecture in the advanced functional programming course may 2005 data structures i pdf guest lecture in the advanced functional programming course may 2005 attribute grammars in haskell with uuag pdf presented at the institute of cybernetics in tallinn february 2005 revised version of the konstanz talk structural polymorphism in generic haskell pdf presented at the estonian computer science theory days in koke february 2005 revised version of the freiburg talk typesetting haskell and more with lhs2tex pdf presented at the ifip wg 2 1 meeting in nottingham september 2004 revised version of the stc talk dependencies by case or by function pdf presented at the ifip wg 2 1 meeting in nottingham september 2004 generalizing generic functions pdf presented at a gh meeting july 2004 generic haskell pdf presented at the university of freiburg november 2003 typesetting haskell and more with lhs2tex pdf presented at an stc meeting october 2003 dependency style generic haskell pdf presented at icfp 2003 in uppsala august 2003 generic programming in haskell pdf presented at an stc meeting may 2003 explicit recursion in generic haskell pdf presen...