Travelled to:1 × France
1 × Spain
Collaborated with:H.Iwasaki T.Morimoto
Talks about:search (2) function (1) languag (1) instant (1) exhaust (1) correct (1) semant (1) recycl (1) effici (1) thunk (1)
Person: Yasunao Takano
DBLP: Takano:Yasunao
Contributed to:
2015
2007Wrote 2 papers:
- SAC-2015-TakanoI #correctness #functional #lazy evaluation #semantics
- Thunk recycling for lazy functional languages: operational semantics and correctness (YT, HI), pp. 2079–2086.
- PADL-2007-MorimotoTI #performance
- Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning (TM, YT, HI), pp. 65–79.