[Haskell] Haskell-related PhD Studentship at Kent

and research related expenses. But non-EU students are welcome to apply too. For Sep 2015 starting, the application deadline is 17 April 2015. If you are interested, please contact me at m.w.w...@kent.ac.ukmailto:m.w.w...@kent.ac.uk. Best wishes, Meng — Dr Meng Wang School of Computing

[Haskell] Haskell-related PhD Studentship at Kent

at m.w.w...@kent.ac.uk<mailto:m.w.w...@kent.ac.uk>. Best wishes, Meng — Dr Meng Wang School of Computing University of Kent http://www.cs.kent.ac.uk/people/staff/mw516/ ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/m

[Haskell] CFP Bx 17: 6th International Workshop on Bidirectional Transformations

, Technical University of Darmstadt, Germany - Daniel Strüber, Universität Koblenz-Landau, Germany - James Terwilliger, Microsoft, USA - Meng Wang, University of Kent, UK - Bernhard Westfechtel, Universität Bayreuth, Germany - Manuel Wimmer, Vienna University of Technology, Austria

[Haskell] Haskell-related PhD studentship

at m.w.w...@kent.ac.uk<mailto:m.w.w...@kent.ac.uk>. More information can be found at https://www.cs.kent.ac.uk/research/studyingforaphd/phd-wang-2017.html. Best wishes, Meng Dr. Meng Wang | Lecturer in Computer Science School of Computing, University of Kent Canterbury, Kent, CT2 7NF, UK

[Haskell] PhD studentships in FP at Bristol

/computerscience/people/meng-wang/overview.html http://www.bristol.ac.uk/engineering/departments/computerscience/people/steven-j-ramsay/overview.html http://www.bristol.ac.uk/engineering/departments/computerscience/people/nicolas-wu/overview.html The positions are fully funded, and with additional bursaries

[Haskell] Permenent Faculty Position in PL at University of Bristol

/details.html?nPostingID=51136=156814=28=DESC=2=Q50FK026203F3VBQBV7V77V83=10=UK=uobext Applications in the area of functional programming are especially encouraged. The deadline for application is 8 September 2019. Best wishes, Meng Wang, PhD Senior Lecturer (Associate Professor) Department

Re: [Haskell] [FP] Postdoc position at University of Bristol in functional programming

Dear Haskellers, The programming languages group at Bristol has an open post doc position in the area of functional programming. Haskell programmers are particularly welcome. Please pass it on to anyone who might be interested. Thanks! Best regards, Meng Meng Wang, PhD (Oxon) Senior Lecturer

[Haskell] Postdoc position at University of Bristol in functional programming

Dear Haskellers, The programming languages group at Bristol has an open postdoc position in the area of functional programming. Haskell programmers are particularly welcome! Best regards, Meng Meng Wang, PhD (Oxon) Senior Lecturer in Programming Languages International Director, SCEEM School

[Haskell] Bx 2021 - CALL FOR PAPERS

To Haskellers, Bidirectional Transformations (Bx) are also known as lenses! Please consider submitting your Haskell-related papers which are very welcome. Best regards, Meng Meng Wang, PhD (Oxon) University of Bristol Senior Lecturer of Programming Languages Head of PL research group

[Haskell] Bx 2021 - FINAL CALL FOR PAPERS

: April 27, 2021 Paper submission: May 4, 2021 Author notification: May 25, 2021 Early registration: May 27, 2021 Workshop: June 21, 2021 PROGRAM CO-CHAIRS = The workshop is co-organized by Meng Wang (University of Bristol, UK

[Haskell] CFP, PEPM 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Dear Haskellers, Gabriele and I are organising PEPM this year. Over the years, PEPM has grown into a conference of general PL topics and Haskell/FP is strongly represented. We look forward to receiving your submissions. Best regards, Gabriele Keller (Utrecht University, Netherlands) Meng Wang

Re: [Haskell] CFP, PEPM 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Dear Haskellers, A gentle reminder that the submission deadline is in two weeks. Best regards, Gabriele Keller (Utrecht University, Netherlands) Meng Wang (University of Bristol, UK) From: Meng Wang Date: Thursday, 7 September 2023 at 08:52 To: haskell-c...@haskell.org , haskell@haskell.org

[Haskell] Research fellow position at University of Bristol

in the world to apply! (Another similar post at the level of research associate is also available.) https://www.bristol.ac.uk/jobs/find/details/?jobId=274355=Research%20Fellow Meng Wang, PhD (Oxon) Senior Lecturer of Programming Languages Head of PL research group School International Director SCEEM (CS

Re: [Haskell] Research fellow position at University of Bristol

Dear All, Here is the second post at Bristol PL group. It is at the research associate level which is suitable for fresh PhD graduates. https://www.bristol.ac.uk/jobs/find/details/?jobId=274941=Research%20Associate%20or%20Senior%20Research%20Associate Best regards, Meng Wang, PhD (Oxon) Senior

[Haskell] RA position in PL and Machine Learning at Bristol

Dear all, In case you know any PhD students / post-docs who are looking for a job, the Bristol Programming Languages Group<https://bristolpl.github.io/> is hiring a Senior Research Associate. The candidate will perform research under the supervision of Dr. Cristina David and Dr. Men

RE: [Haskell-cafe] Are GADTs expressive? Simple proof-carrying code inHaskell98

Hi, Oleg. It is nice to see how the eval function is encoded with type classes. I always wonder whether the HOAS example from Xi's POPL 03 paper can be programmed this way. In particular, it appears to me that the Fix clause requires non-inductive derivation of the form instance Eval (f e) a =

Re: [Haskell-cafe] Redefining superclass default methods in a subclass

Hi Brian, Thank you for starting the thread. We (Martin Sulzmann and me) proposed a type class extension which allows modular extension of superclasses (a complement of subclass extension). The idea has been shown to be particularly useful in (but not limited to) encodings of generic